On Fri, May 31, 2019 at 9:20 AM Marek Vasut <marex at denx.de> wrote: > How does the sabresd boot ? It boots from SD card with SPL at 1kB and u-boot-dtb.img at 69kB. We don't need EXT4 in SPL at all.