[seL4] Re: sel4 for Imx8Plus

[janarthanan . b]

Thank you for your valuable reply sir, but i struck with the u-boot, while i am 
trying to do using fatload it shows
"can't set block device" as well as  the burned file in sd card(i.e) sel4 
test-driver-image-arm-imx8mp-evk shows
an :unrecognised file-system".
so kindly give me some brief procedure to boot this seL4 microkernel into the 
imx8m plus board.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems