Is anyone else running seL4 on the iMX.6 sabrelite?

Joel Desermeau joeldesermeau at
Fri Apr 5 19:40:12 CEST 2019

I have a few noobish questions that I hope someone could answer!

- After making a custom boot image, how should I format the sd card and where should I place the image?

-How can I get u-boot to boot the image?

Thanks :p
Joel Desermeau
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list