Genode on i.MX6Q Sabre Lite

[Alexander Boettcher]

Hi,

On 03.04.2017 12:41, Hinnerk van Bruinehsen wrote:
> I have done some testing to get seL4 and Genode boot on an ARM device
> (AM335x based). I have a branch on github that got into the Genode

Nice !

> I guess the real question is, considering that Genode+seL4 on ARM is
> planned for this year, how much work makes sense. Especially because it
> would really only make sense, if one has a concept to split the code in
> a way that allows to build seL4 for different architectures at the same
> time, which essentially means, that the code could be upstreamed. To get
> that done, likely would required a certain ammount of coordination with
> upstream...

feel invited to open up a feature issue on github and we may discuss and
streamline patches in a clean way.

It's right that we plan seL4 and ARM support, but as said on the roadmap
website, nothing is set in stone (e.g. because of high prior
commissioned contract work which may come in at any point in time). So,
I would not bet on this to happen, at least not bet on the schedule ...

Additionally, we would only add support to SoCs we see a need for, have
physical access to and therefore may also test. The whole zoo of ARM
SoCs can't be managed by GenodeLabs alone. That means specifically, that
your desired board may not be part of this line of work.

Why I'm talking about this ? If you have a need for Genode/seL4 and have
already something running, please open up a feature issue on github and
we will see how we get it upstream. Just waiting for things to happen is
the worst thing we can do, community wise.

Cheers,

Alex.

-- 
Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth