[seL4] Re: sel4 for Imx8Plus

It looks like a problem with U-Boot not detecting or working properly with the eMMC. The command “fatload” should print a bit more error message than what you have provided. Can you give us the full error message? Also, have you tried booting a different image with your current U-Boot build? (e.g., sel4-tutorials, Linux)