From 3c1ca0ebe9ea3339e8c1f71b9f414042143ddbe1 Mon Sep 17 00:00:00 2001 From: Alt Eisen Date: Thu, 7 Jun 2018 00:17:44 +1200 Subject: [PATCH] add unikernels (#521) * replace the paywall link with the actual content --- unikernels/README.md | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 unikernels/README.md diff --git a/unikernels/README.md b/unikernels/README.md new file mode 100644 index 0000000..6aac656 --- /dev/null +++ b/unikernels/README.md @@ -0,0 +1,9 @@ +## Unikernels (LibOS) + +* [Unikernels: Library Operating Systems for the Cloud](http://anil.recoil.org/papers/2013-asplos-mirage.pdf) +* [IncludeOS: A minimal, resource efficient unikernel for cloud services](http://folk.uio.no/paalee/publications/2015-cloudcom.pdf) +* [The rump kernel: A tool for driver development and a toolkit for applications](https://www.netbsd.org/gallery/presentations/justin/2015_AsiaBSDCon/justincormack-abc2015.pdf) + +### High Availability Through Unikernel +* [Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services](https://www.usenix.org/node/189029) +