Unikernels: library operating systems for the cloud

/ Papers / Unikernels: library operating systems for the cloud

In proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, Mar 2013
PDF

URL

BibTeX

DOI

Video

Abstract. No abstract available

Authors. Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, Dave Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft

See Also. This publication was part of the Xen Hypervisor and Unikernels projects.

Talks.

Haskell Symposium 2014 Keynote on functional OS design on 5th Sep 2014. Me slightly nervously talking to a bunch of Haskellers about OCaml modules. Read more in Unikernels: library operating systems for the cloud. Part of the Unikernels project.

News Updates

Feb 2020. «

» Delivered the distinguished seminar series at St Andrews on rebuilding Operating Systems with functional principles / «

» Part 2 / «

» Part 3.

Oct 2016. «

» DockerCon talk on unikernels and MirageOS.

Jun 2016. «

» Interviewed by The New Stack at OSCON in Austin, Texas / «

» Updated the MirageOS community about the 2016 hack retreat.

May 2016. «

» Announced HyperKit, VPNKit and DataKit for the Docker ecosystem.

Jan 2016. «

» Announced that Unikernel Systems is now part of Docker.

Sep 2015. «

» Invited talk at NetPL on Immutable Distributed Infrastructure with Unikernels.

May 2015. «

» Talk at Esper on functional programming with unikernels.

Apr 2015. «

» Updated the OCaml community on annual OCaml Labs activities for 2014.

Jan 2015. «

» Gave BOB 2015 keynote on functional Operating Systems.

Nov 2014. «

» New Directions in Operating Systems talk on Jitsu.

Oct 2014. «

» At the Xen Summit speaking about branch consistency for Xen Stub Domains.

Sep 2014. «

» Gave Haskell Symposium 2014 Keynote on functional OS design.

Jul 2014. «

» Announced the release of MirageOS 1.2, and a roadmap towards MirageOS 2.0 / «

» Announced the long-awaited release of MirageOS 2.0 / «

» Appeared on FLOSS Weekly 302 about Open Mirage.

May 2014. «

» Appeared on SE Radio Episode 204 about Mirage and OCaml.

Jan 2014. «

» Note on the discussions around my recent CACM article on unikernels.

Nov 2013. «

» MirageOS and XAPI project update at XenSummit / «

» Note on integrating Docker and opam more effectively.

Jul 2013. «

» Mirage Developer Preview 1 screencast.

Mar 2013. «

» The first paper on unikernels is pubished at ASPLOS 2013.

Oct 2012. «

» Discussing how we disaggregated MirageOS into opam packages.

Sep 2012. «

» Note on how to build XenStore stub domains using MirageOS.

Feb 2012. «

» Note on using ARM Dreamplugs with OCaml published.

Oct 2011. «

» At the OCaml Meeting 2011 speaking about MirageOS.

Sep 2011. «

» Liveblog on the talks at CUFP 2011.

Jun 2011. «

» Note discussing an OCaml interface to our new CIEL dataflow engine / «

» Published a note on delimited continuations vs Lwt in OCaml for MirageOS.

Nov 2010. «

» Talk on building the Xen toolstack using OCaml.

Oct 2010. «

» Announced that the MirageOS website now self-hosted on MirageOS! / «

» At LinkedIn giving tech talk about Mirage.

Jun 2010. «

» At HotCloud for the first talk about MirageOS.

Sep 2008. «

» Blogged at Citrix about how XenServer high availability works.

Aug 2008. «

» Blogged at Citrix about tuning XenServer for better client VDI performance using XenApp available.

Jul 2008. «

» Blogged at Citrix about how to install Ubuntu on XenServer as a PV guest.