POSIX-like scalable multicore research OS kernel - View it on GitHub