Carsten Weinhold, Adam Lackorzynski, Hermann Härtig. FFMK: An HPC OS Based on the L4Re Microkernel. In Balazs Gerofi, Yutaka Ishikawa, Rolf Riesen, Robert W. Wisniewski, editors, Operating Systems for Supercomputers and High Performance Computing. Volume 1 of pages 335-357, Springer, 2019. [doi]
Abstract is missing.