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

[Joel Desermeau]

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: <http://lists.genode.org/pipermail/users/attachments/20190405/6322506b/attachment.html>