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