Interface for heterogeneous kernels: A framework to enable hybrid OS designs targeting high performance computing on manycore architectures | IEEE Conference Publication | IEEE Xplore