Re:Fuchsia OS Introduction
by TomMarius on Tuesday March 26, 2019 @03:31AM
(#19489874)
Thank you! How did they tackle the performance problems?
[ Parent
| on HN ]
The paper "From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?"[0] covers most of this from a 20 years after perspective.
[0] http://sigops.org/s/conferences/sosp/2013/papers/p133-elphin...