Hi sel4 dev team, I'm working on imx8 Plus board for that Building seL4test is
done and generated the binary image file of
"sel4test-driver-image-arm-imx8mp-evk" with the size of 5mb as per the
procedure on sel4 websites. I moved this into sd card and trying to boot into
board.but i cant able to boot it. What is the issue on this and how to solve
it? if we need to do uboot what's the procedure for that?
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
