By Richard Mortier - 2013-08-14
This page links to various technical talks and slide decks on MirageOS. The bulk of slide decks that we give are now hosted using MirageOS on http://decks.openmirage.org, so please browse there for the latest content.
Below are various videos of public presentations that are available online. There is also a link blog of other articles available.
Garett Smith at CityCode - Oct 2015
Gareth Rushgrove at Operability - Sep 2015
Matt Bajor at Strangeloop - Sep 2015
Mindy Preston at Strangeloop - Sep 2015
Mindy also wrote a post that has some information and links: http://somerandomidiot.com/blog/2015/10/07/ocaml-workshop-and-strange-loop-talks
Hannes Mehnert at Source_Code Berlin - Aug 2015
Amir Chaudhry at PolyConf - July 2015
There's more information about this talk in the blog post at: http://amirchaudhry.com/unikernels-polyconf-2015
Russell Pavlicek at SouthEast LinuxFest - June 2015
Russ has also been at many other Linuxfests this year!
Anil Madhavapeddy at Esper Technologies - May 2015
This talk was given by Anil Madhavapeddy towards the end of 2013, and outlines the overall architecture of MirageOS 1.0.
You can find a video of the talk along with synched slides at the InfoQ website.
Richard Mortier and Anil Madhavapeddy presented a developer preview of MirageOS 1.0 at OSCon. The screencast below still uses the old
mirari tool instead of the final version that shipped with MirageOS 1.0, but the screencast is included here for historical reasons.
Dave's presentation at the 2012 OCaml Users and Developers Workshop, describing MirageOS and its use as a way to build VMs for Xen in OCaml.
A short video Verisign requested as part of a showcase of the recipients of their "Building a Better Internet" 2011 grant symposium, discussing MirageOS and its importance for the ongoing health of the Internet.
This was a report delivered at ICFP 2010 about our experiences with using OCaml in the Xen management toolstack. Not directly Mirage-related, but much of the inspiration for trying out OCaml in a microkernel environment came out of this work. The video is unfortunately only available behind the ACM paywall, but the paper can be found here.