Stem microkernel$ (all stems)

6 papers:

DATE-2014-NelsonNMKG #composition #kernel #named #predict #realtime

CoMik: A predictable and cycle-accurately composable real-time microkernel (AN, ABN, AMM, MK, KG), pp. 1–4.

SOSP-2013-ElphinstoneH #kernel #question #what

From L3 to seL4 what have we learnt in 20 years of L4 microkernels? (KE, GH), pp. 133–150.

ICFP-2009-KleinDE #case study #experience #kernel #verification

Experience report: seL4: formally verifying a high-performance microkernel (GK, PD, KE), pp. 91–96.

SAC-2007-KinebuchiKN #kernel

Constructing machine emulator on portable microkernel (YK, HK, TN), pp. 1197–1198.

ICEIS-v4-2005-BoppH #architecture #distributed #kernel #mobile

A Microkernel Architecture for Distributed Mobile Environments (TB, TH), pp. 151–156.

SOSP-1999-ZuberiPS #kernel #named #realtime

EMERALDS: a small-memory real-time microkernel (KMZ, PP, KGS), pp. 277–299.