papers-we-love_papers-we-love/unikernels

Unikernels (LibOS)

• Unikernels: Library Operating Systems for the Cloud
• IncludeOS: A minimal, resource efficient unikernel for cloud services
• The rump kernel: A tool for driver development and a toolkit for applications

High Availability Through Unikernel

• Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services