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