McKernel: a light-weight multi-kernel operating system

IHK/McKernel is a light-weight multi kernel operating system designed specifically for high performance computing. It runs Linux and McKernel, a lightweight kernel (LWK), side-by-side on compute nodes primarily aiming at the followings:Provide scalable and consistent execution of large-scale parallel applications and at the same time rapidly adapt to exotic hardware and new programming modelsProvide efficient memory and device management so that resource contention and data movement are minimized at the system levelEliminate OS noise by isolating OS services in Linux and provide jitter free execution on the LWKSupport the full POSIX/Linux APIs by selectively offloading system calls to Linux