L4 Microkernel Family by Frederic P. Miller, Agnes F. Vandome & John McBrewster