Mirage OS Logo
Community Image

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.

Community Image

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.

Community icon

Browse through our discussion forum and participate or start a new thread. We use the discourse instance kindly provided by OCaml.

Envelope icon

Join the e-mail developer mailing list or search the past archives. This is a fairly low-volume list, and beginner questions are welcome.

MIRC icon

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.