Operating system noise: Linux vs. microkernel

Supplementary material

Authors: Stefan Wächtler, Michal Sojka
published at 14th Real-Time Linux Workshop, 2012