The Community
All MirageOS development is done via GitHub, consisting of a set of libraries that form the core distribution. It is all glued together via the OPAM package manager. All of the libraries are either under the LGPLv2 or the liberal ISC license. If you find bugs or installation issues, please report them via the main issue tracker. Broader queries or OCaml questions are very welcome on our mailing list.
Please see the guide to contributions if you wish to submit a patch. There is also a list of pioneer projects if you are looking for an area in need of work, at various difficulty levels.
The Research Project
MirageOS started with funding in 2009 from the RCUK Horizon Digital Economy Research Hub grant, EP/G065802/1. Amazon also granted us an Amazon in Education award and Verisign sponsored work via an Internet Infrastructure Award, and Rackspace gives us developer resources on their cloud. Work has also been supported by the MRC2 and OCaml Labs projects.
The research leading to this code has also received funding from the European Union's Seventh Framework Programme FP7/2007-2013 under the Trilogy 2 project (grant agreement no 317756) and the User Centric Networking project (grant agreement no 611001). Publications are open access.
Browse through our discussion forum and participate or start a new thread. We use the discourse instance kindly provided by OCaml.
Join the e-mail developer mailing list or search the past archives. This is a fairly low-volume list, and beginner questions are welcome.
We hang out on IRC in the #mirage channel on Libera.Chat (regular scheduled meetings). Bear in mind that questions are more likely to be answered via e-mail if we're idling on IRC.
Core Team
One of us will review every patch that goes into the main distribution. Get in touch with any of us individually if you're interested in a MirageOS-related internship at our respective institutions.
- Pierre Alain, Enssat-University of Rennes 1, @palainp
- Romain Calascibetta @dinosaure
- Thomas Gazagnaire , Tarides, @samoht
- Thomas Leonard , @talex5
- Anil Madhavapeddy , University of Cambridge, @avsm
- Hannes Mehnert , robur, @hannesm
- Lucas Pluvinage , @TheLortex
- David Scott , Docker, @djs55
- Magnus Skjegstad , @magnuss
Emeriti
- Amir Chaudhry @amirmc
- Martin Lucina , @mato
- Richard Mortier , University of Cambridge & Kvasir Analytics @mor1
- Mindy Preston @yomimono
Contributors
One of us will review every patch that goes into the main distribution. Get in touch with any of us individually if you're interested in a MirageOS-related internship at our respective institutions.
- Vincent Bernardoff
- Wei Chen , ARM
- Jon Crowcroft , University of Cambridge
- Christiano Haesbaert , genua mbh
- Steven Hand , Google
- David Kaloper , University of Cambridge
- Ricardo Koller , IBM Research
- Jon Ludlam , Citrix Systems R&D
- Raphael Proust , University of Cambridge
- Haris Rotsos , University of Cambridge
- Adrian-Ken Rueegsegger
- David Sheets
- Balraj Singh
- Dan Williams , IBM Research
- Jeremy Yallop , University of Cambridge
The MirageOS3 release announcement contained a more complete list. For a complete list, please look at the contributors to individual git repositories. If you are missing here, please add yourself via a PR to the mirage-www repository.