1 setenv kernelname zImage; 2 setenv boot_kernel "setenv bootargs \"${console} root=/dev/mmcblk${mmcrootdev}p${mmcrootpart} rootfstype=${rootfstype} rootwait ${opts}\"; 3 load mmc ${mmcbootdev}:${mmcbootpart} 0x40007FC0 '${kernelname}'; 4 if load mmc ${mmcbootdev}:${mmcbootpart} 40800000 ${fdtfile}; then 5 bootz 0x40007FC0 - 40800000; 6 else 7 echo Warning! Booting without DTB: '${fdtfile}'!; 8 bootz 0x40007FC0 -; 9 fi;" 10 run boot_kernel;
