Board-specific devices in L4Linux

Adam Lackorzynski adam at
Thu Sep 20 00:06:43 CEST 2012

On Tue Sep 18, 2012 at 15:50:53 +0400, Dmitry Shubin wrote:
> I would like to bring up the issue that has been highlighted in [1]
> and [2] quite some time ago. Has any progress been made since then?
> Adam, even if you ended up not making those changes, don't you mind
> sharing your thoughts/ideas on the matter?

I have added some more infrastructure in 3.5. However, I probably need
to rethink that once the header/include/etc. reorg gets merged in Linux,
maybe coming with 3.7. I'm also not sure how this could be maintained in
the long run, keeping it in sync and working etc. It's a challenge.

Adam                 adam at

More information about the l4-hackers mailing list