sel4 for Imx8Plus
18 Oct
2024
18 Oct
'24
9:02 p.m.
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?
519
Age (days ago)
523
Last active (days ago)
4 comments
3 participants
participants (3)
-
janarthanan.b＠teclever.com -
Peter Chubb -
tunacici7＠gmail.com