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