env set fdt_addr 0x45000000;
env set initrd_addr 0x45800000;
run loadfdt;
fdt addr ${fdt_addr};
fdt get value optee_compatible /firmware/optee compatible;
if test "${optee_compatible}" = "linaro,optee-tz"; then
	echo Found optee node, using it;
else
	echo optee node missing, trying to add it;
	fdt resize 4096;
	fdt mknode / firmware;
	fdt mknode /firmware optee;
	fdt set /firmware/optee compatible "linaro,optee-tz";
	fdt set /firmware/optee method "smc";
fi;
fdt print /firmware/optee;
run loadimage;
if fatload mmc ${mmcdev}:${mmcpart}  ${initrd_addr} ramdisk.img; then
	booti ${loadaddr} ${initrd_addr} ${fdt_addr};
else
	echo "Booting on the persistent file system ..."
	run loadimage;run mmcargs;
	booti ${loadaddr} - ${fdt_addr};
fi;