MirageOS Files

MirageOS is a library operating system that constructs unikernels

This is an exact mirror of the MirageOS project, hosted at https://github.com/mirage/mirage. SourceForge is not affiliated with MirageOS. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
mirage-4.10.3.tbz	2025-10-27	155.9 kB	2
4.10.3 source code.tar.gz	2025-10-27	186.5 kB	1
4.10.3 source code.zip	2025-10-27	311.8 kB	3
README.md	2025-10-27	135 Bytes	0
Totals: 4 Items		654.4 kB	6

CHANGES:

Include output file extension in generated Makefile (#1619 @Firobe, fixes [#1610])
Allow solo5 0.10.0 (#1620 @hannesm)

Source: README.md, updated 2025-10-27

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.

Recommended Projects

Irmin
Irmin is an OCaml library for building mergeable, branchable distributed data stores. A distributed database built on the same principles as Git. Backup and restore your data at any point in time. You can use Irmin on top of your own storage layer. Automatic (de)serialization for custom data...
EVE OS
EVE is an open-source, secure, and container-optimized operating system for edge computing, developed by the LF Edge foundation. It enables enterprises to deploy and manage edge applications on heterogeneous hardware platforms using a zero-trust architecture. EVE supports virtual machines,...
Trope for Haiku
Trope is a text editor, written in the yab programming language for the Haiku Operating System. Nothing special about it, you've used text editors before. It does have a few features other Haiku text editors presently don't have, though. 1. easy access to High-Ascii and Unicode accented...
Authelia
Authelia is an open-source authentication and authorization server and portal fulfilling the identity and access management (IAM) role of information security in providing multi-factor authentication and single sign-on (SSO) for your applications via a web portal. It acts as a companion for...
RaptorJIT
RaptorJIT is a Lua implementation suitable for high-performance low-level system programming. If you want to use a simple dynamic language to write a network stack; a hypervisor; a unikernel; a database; etc, then you have come to the right place.

MirageOS Files

MirageOS is a library operating system that constructs unikernels

Get an email when there's a new version of MirageOS