Reference 1
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. Github: Demikernel ↩
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?