MirageOS is a library operating system that constructs unikernels
ISC License
Bot releases are visible (Hide)
Published by avsm over 10 years ago
The Mirage frontend tool now generates a Makefile with a make depend
target, instead of directly invoking OPAM as part of mirage configure
.
This greatly improves usability on slow platforms such as ARM, since the
output of OPAM as it builds can be inspected more easily. Users will now
need to run make depend
to ensure they have the latest package set,
before building their unikernel with make
as normal.
make depend
target to generated Makefile.OPAMVERBOSE
and OPAMYES
in the Makefile, which can be overridden.ENTROPY
device type for strong random sources (#256).Published by djs55 over 10 years ago
Published by avsm over 10 years ago
Published by avsm over 10 years ago
V1.STACKV4
to expose UDPv4/TCPv4 types properly (#226).Published by avsm over 10 years ago
The Mirage 1.1.0 release features a new combinator interface to make it easier to map device drivers in config.ml
into concrete applications. This breaks backwards compatibility with Mirage 1.0 configuration files, but the added benefit is significant, so we felt it was worthwhile.
The types
directory also now contains the V1
and V1_LWT
module types used throughout the Mirage libraries.
Published by avsm almost 11 years ago
The Makefile generated by mirage configure
now includes debugging, symbols and annotation support for both the new-style binary annotations and the old-style .annot
files.
Published by avsm almost 11 years ago
mirage clean
(#143)mirage-tcp-*
and mirage-http-*
.Fat_KV_RO
(a read-only k/v version of the FAT filesystem).KV_RO
now passes through to the underlying filesystem instead of calling crunch
, via mirage-fs-unix
.Published by avsm almost 11 years ago
HTTP
support.KV_RO
configuration for OPAM autoinstall.