Hello friends :) I am now the proud owner of the sabre lite imx6 SoC for the
purpose of experimenting and running seL4, and am really eager to start
building Genode scenarios. Unfortunately, the create_builddir tool only
specifies imx53. What can i do to start working with genode on the sabre lite?
Best regards,
Joel Desermeau
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
