J Appavoo, M Auslander, M Butrico… - IBM Systems …, 2005 - ieeexplore.ieee.org
K42 is an open-source, Linux-compatible, scalable operating-system kernel that can be
used for rapid prototyping of operating-system policies and mechanisms. This paper reviews …