bootfile=ubldr loadaddr=0x02000000 dtb_addr=0x1000 fdt_file=sysem.dtb uenvcmd=echo Booting FreeBSD from SD Card: ; mmcinfo && fatload mmc 0 ${dtb_addr} ${dtb_name} && fdt addr ${dtb_addr} && fatload mmc 0 ${loadaddr} ${bootfile} && bootelf