Is anyone else running seL4 on the iMX.6 sabrelite?
joeldesermeau at protonmail.com
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users