#Redpesk boot script commands for uboot

#We don't load the dtb and overlays as the firmware already did the job
load mmc 0:1 ${kernel_addr_r} Image
setenv bootargs 'earlyprintk 8250.nr_uarts=1 console=ttyS0,115200 rw root=/dev/mmcblk0p5 rootfstype=ext4 rootwait security=selinux'
booti ${kernel_addr_r} - ${fdt_addr}
