FFMK: An HPC OS Based on the L4Re Microkernel

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]

Authors

Carsten Weinhold

This author has not been identified. Look up 'Carsten Weinhold' in Google

Adam Lackorzynski

This author has not been identified. Look up 'Adam Lackorzynski' in Google

Hermann Härtig

This author has not been identified. It may be one of the following persons: Look up 'Hermann Härtig' in Google