2 ms·

There is also this nice L4 overview paper "From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?" http://sigops.org/sosp/sosp13/papers/p133-elphi

by qznc 10y ago

There is also this nice L4 overview paper "From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?" http://sigops.org/sosp/sosp13/papers/p133-elphinstone.pdf http://sigops.org/sosp/sosp13/papers/p133-elphinstone.pdf