Board-specific devices in L4Linux

[Dmitry Shubin]

Hi.

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?

[1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2011/004831.html
[2] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2011/005074.html