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