bootargs=root=ld0a
uenvcmd=echo Booting NetBSD from SD Card ; fatload mmc 0:1 ${kernel_addr_r} netbsd-GENERIC.ub ; fatload mmc 0:1 ${fdt_addr_r} dtb/zynq-zybo.dtb ; bootm $kernel_addr_r - $fdt_addr_r