Board-specific devices in L4Linux

Dmitry Shubin shubin at
Tue Sep 18 13:50:53 CEST 2012


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?


More information about the l4-hackers mailing list