A next-generation operating system kernel.