Unikernels

Reference 1

  • 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. Github: Demikernel ↩


  1. reference ↩
Created Nov 11, 2019 // Last Updated May 18, 2021

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

... what would you change?