HermitCore: A Unikernel for Extreme Scale Computing
Interface for heterogeneous kernels: A framework to enable hybrid OS designs targeting high performance computing on manycore architectures