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.0.tbz	2025-09-08	155.6 kB	0
4.10.0 source code.tar.gz	2025-09-08	186.2 kB	0
4.10.0 source code.zip	2025-09-08	311.3 kB	0
README.md	2025-09-08	589 Bytes	0
Totals: 4 Items		653.6 kB	0

CHANGES:

Add unikraft targets (#1607 @fabbing @shym)
Add a ?local_libs parameter to allow local dune libs (#1609 @omegametabroccolo)
Add a --name argument to each unikernel (Mirage_runtime.name ()), remove monitor_hostname (#1611 @hannesm)
Use Git_net instead of Git_mirage (#1606 @dinosaure)
Fix Mirage_runtime documentation headers, use correct Stop special comment (#1605 @reynir)
Exclude buggy dune versions from testing (#1609 @reynir)
Remove unused exports about ip stacks, ipv4_config, ipv6_config, socket_tcpv4v6, and socket_udpv4v6 (#1612 @hannesm)

Source: README.md, updated 2025-09-08

You Might Also Like

Gen AI apps are built with MongoDB Atlas Icon

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

MongoDB Atlas runs apps anywhere Icon

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

Recommended Projects

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...
ToaruOS
ToaruOS is a "complete" operating system for x86-64 PCs and experimental support for ARMv8. While many independent, hobby, and research OSes aim to experiment with new designs, ToaruOS is intended as an educational resource, providing a representative microcosm of functionality found in major...
Opera OS
the chrome browser has chrome os, firefox has webian. And now, opera has: Opera OS. Opera OS a lightning fast operating system based on slitaz 3.0, the smallest complete distro. Featuring opera, one of the fastest browsers available for linux, and flash player. And all that is packed into just...