1
L4 microkernels: The lessons from 20 years of research and deployment (ts.data61.csiro.au)