What is a Lightweight Kernel?
Rolf Riesen, Arthur B. ‘Barney’ Maccabe, Balazs Gerofi, David N. Lombard, John R. Lange, Kevin Pedretti, Kurt Brian Ferreira, Mike Lang, Pardo Keppel, Robert W. Wisniewski, Ron Brightwell, Todd A. Inglett, Yoonho Park, Yutaka Ishikawa · 2015
Lightweight kernels (LWK) have been in use on the compute nodes of supercomputers for decades. Although many high-end systems now run Linux, interest in options and alternatives has increased in the last couple of years. Future extreme-scale systems require rethinking of the operating system, and modern LWKs may well play a role in the final solution.