Microsoft DemiKernel OS
The Demikernel is a library operating system architecture designed for use with kernel-bypass I/O devices. The Demikernel architecture offers a uniform system call API across kernel-bypass technologies (e.g., RDMA, DPDK) and OS functionality (e.g., a user-level networking stack for DPDK). Demeter OS is our first Demikernel OS, currently in the prototype stage. To read more about the motivation behind the Demikernel, check out this blog post. To get details about the system, read our HotOS paper.