4 ms·
Thank you! How did they tackle the performance problems?
by TomMarius 8y ago
Thank you! How did they tackle the performance problems?
- snvzz 8y agoThe 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-elphinstone.pdf http://sigops.org/s/conferences/sosp/2013/papers/p133-elphin...