From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

Kevin Elphinstone Gernot Heiser

Published in: SOSP (2013)

Keyphrases

years ago
multiscale
expert systems
real time
databases
three dimensional
cooperative
computer science
data model