Re: Sabre Lite imx6
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
Re: Sabre Lite imx6
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 -- -- 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
Sabre Lite imx6
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