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) _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
