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
Hi Joel,
On Thu, Dec 28, 2017 at 05:39:48PM -0500, Baconicsynergy via genode-main wrote:
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?
You can use the "wandquad" board as a template to add the sabrelite board. It uses an i.MX6 SoC too. You might also have a look at the imx6_sabre branch in my genode repository on github. Just the last commit is interesting, and might apply to the current general master branch. I have once tested the basic log scenario, but I'm not sure by 100% wether it was the sabrelite or the sabre tablet.
Best regards Stefan
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
Hi Joel,
Am 28.12.2017 um 23:39 schrieb Baconicsynergy via genode-main:
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?
Doing 'grep -r "imx6" base', you can see that Genode actually supports an i.MX6 board, namely the WandBoard Quad which is abbreviated to "wand_quad" in the sources. A 'find . -wholename *imx6*' gives all i.MX6-specific implementations. The WandBoard is supported on SeL4 and on the custom Genode kernel (base-hw). A 'find base-sel4 -wholename *wand_quad*' gives you a good summary of what to implement for your platform. AFAIK, the SeL4 version that is used should be fine with the board.
Cheers, Martin
-
Baconicsynergy -
Martin Stein -
Stefan Kalkowski