Hi hackers!
I've been looking at microkernels for some time and am writing a high overview paper about them for our faculty.
Adam wrote[1] that all discussions happen mostly in-house so finding info about Fiasco's future is probably hard.
So, if any of you hackers have a minute to spare, I'd be glad to hear what you intend to implement in future L4 releases. It doesn't need to have dates - maybe just pointers what you'd like to see in a year or so.
Thank you, Ratko Rudic
[1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2015/007538.html