1env set fdt_addr 0x45000000;
2env set initrd_addr 0x45800000;
3run loadfdt;
4fdt addr ${fdt_addr};
5fdt get value optee_compatible /firmware/optee compatible;
6if test "${optee_compatible}" = "linaro,optee-tz"; then
7	echo Found optee node, using it;
8else
9	echo optee node missing, trying to add it;
10	fdt resize 4096;
11	fdt mknode / firmware;
12	fdt mknode /firmware optee;
13	fdt set /firmware/optee compatible "linaro,optee-tz";
14	fdt set /firmware/optee method "smc";
15fi;
16fdt print /firmware/optee;
17run loadimage;
18if fatload mmc ${mmcdev}:${mmcpart}  ${initrd_addr} ramdisk.img; then
19	booti ${loadaddr} ${initrd_addr} ${fdt_addr};
20else
21	echo "Booting on the persistent file system ..."
22	run loadimage;run mmcargs;
23	booti ${loadaddr} - ${fdt_addr};
24fi;
25