Demikernel

Reference 1

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).

Demikernel: kernel-bypass IO abstraction for data centers.

Created Nov 11, 2019 // Last Updated Nov 11, 2019

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?