2018-06-05 11:37:28 +00:00
|
|
|
## Unikernels (LibOS)
|
|
|
|
|
|
2018-06-06 06:18:23 +00:00
|
|
|
* [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)
|
2018-06-05 11:37:28 +00:00
|
|
|
* [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)
|
|
|
|
|
|
