Board-specific devices in L4Linux

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