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 ------------------------------------------------------------------------------ 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
