Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

185 lines (157 sloc) 8.01 KB
2.1.1 (17-Dec-2014):
* Remove checksum stubs from Unix and Xen, as they are provided by `tcpip` now.
* [xen] Define UINTx_MAX and SIZE_MAX in stdint.h
2.1.0 (07-Dec-2014):
* [xen] Report trace events for GC, block_domain, XenStore and event channels.
This introduces a new dependency on the `mirage-profile` package.
* [xen] Install a `pkg-config` file to allow other projects to compile C stubs
against `mirage-xen`.
* [xen] Remove duplication of OCaml header files inside the `include` tree.
2.0.1 (05-Dec-2014):
* [xen] Assert that pages passed to the grant share API are page-aligned.
This always happens if they are created via `Io_page.create`, and
probably not true if made by `Cstruct.create`.
* [xen] Use monotonic time for timing events, not wall-clock time.
* [xen] Provide functions that C code often uses for asserts (`abort`,
`printf`, etc).
2.0.0 (04-Nov-2014):
* Remove dietlibc, libm and most of the include files, replacing them with
external dependencies on Mini-OS and openlibm.
* Introduce Xen/ARM support that works with both Xen 4.4 and the 4.5dev
hypervisor ABI. Testing on Cubieboard2 and Cubietruck devices.
* [xen] Move the Xen main Lwt loop into OCaml code to simplify it (#99).
* Build fixes to work with multiple findlib directories in a single
installation (#101 from Petter Urkedal).
* [xen] Install runtime headers for `mirage-xen` so that external C
libraries can be compiled (#102 from James Bielman)
* [xen] Add support for demand-mapping for backend devices via a MiniOS
gntmap device (#103).
1.1.1 (24-Feb-2013):
* xen: support 4096 event channels (up from 8). Each device typically
uses one event channel.
1.1.0 (01-Feb-2013):
* Update to new io-page{,.unix} ocamlfind packages.
* Remove unused Netif module from Unix backend.
* Xen now depends on `xen-{evtchn,gnt}` packages.
* Add a `type 'a io` to make it easier to include with the Mirage sigs.
1.0.0 (10-Dec-2013):
* Set `Sys.os_type` to Unix in the Xen backend to help compatibility (#78).
* Suppress another dietlibc linker warning for vprintf in Xen.
0.9.9 (07-Dec-2013):
* Fix uninstall target for Unix.
* Remove `tuntap` stubs from Unix module; they are in `ocaml-tuntap` now.
* Move `OS.Clock` out to a toplevel `Clock` module (the `mirage-clock` package).
* Move `OS.Io_page` out to a toplevel `Io_page` module (the `io-page` package).
* Update library dependencies to reduce them based on new functionality.
* Install library as `mirage-xen` or `mirage-unix` that can coexist.
* Suppress dietlibc linker warnings for sscanf/sprintf.
0.9.8 (07-Nov-2013):
* Add support for OCaml 4.01.0 in addition to the existing 4.00.1 runtime.
* Major refresh of the NS3 simulation backend, for latest APIs.
* Add `Netif` statistics counters per-packet.
* [xen] Fix multi-page ring support by granting the correct data pages.
* [unix] flush OS.Console file descriptor more often (#108).
* Fix regression in `Io_page.string_blit` with non-zero src offset (#71).
0.9.7 (05-Oct-2013):
* Add Travis continuous integration scripts.
* [xen] zero out freshly allocated io pages.
* [xen] correct reattach xenstore connection after resume.
* [xen] fix suspend/resume
* [xen] switch to interrupts (SCHEDOP_block) rather than polling (SCHEDOP_poll)
to allow more than 128 event channels
* [xen] add Activations.after interface to help drivers avoid losing interrupts
* Fix build on older gcc (4.4) versions, as found in CentOS 6.4.
0.9.6 (27-Aug-2013):
* [xen] adapt to new xenstore interface which allows the same code
to be compiled under Unix userspace and xen kernelspace
0.9.5 (09-Aug-2013):
* Add the `mir-rt` regression runner to `scripts/` (not installed).
* Unhook `mir-run` from the build, as Mirari replaces it.
* [xen] Port Netif to use the `Macaddr` module from `ocaml-ipaddr`.
0.9.4 (07-Aug-2013):
* [xen] add atomic load/store bindings for shared memory rings
* [xen] add atomic operations necessary for vchan
* [xen] expose memory barriers via Xenctrl ocamlfind package
0.9.3 (18-July-2013):
* [xen] Prevent spinning in `` when a thread is blocked
and then awakened.
* [xen] Gnt.grant_table_index is now an int, was an int32.
* [xen] Cleaned some C stubs files, mainly page_stubs.c
* [xen] Improved module Netif: The function create do not take a
callback anymore, hidden some private function from the .mli.
* [unix] Add support for building and running on FreeBSD.
0.9.2 (09-July-2013):
* [xen] Add Netif test to wait for a fixed number of ring slots > 0
* [xen] Add Evtchn.close to Xen backend.
* [xen] Disable tree-loop-distribute-patterns to workaround crash with
gcc-4.8. Temporary fix until we isolate the bug.
* [xen] Improved the interface of Io_page, implement some missing bits
in Gnt.
* [xen] Several modules now have an interface similar to the one in
the libxc bindings for OCaml. This makes it possible to write one
application that can be compiled for the UNIX or the Xen backend.
0.9.1 (11-Jun-2013):
* [xen] add mmap stubs to make the default Bigarray module happy.
* OS.Netif.create no longer creates the tuntap interface. Hotplug events
are generated from the mirari calling functions instead, removing the
policy from this library.
0.9.0 (22-May-2013):
* [xen] Add a simple 'resume hook' mechanism for xen devices
* [xen] Update to new shared ring signature in 0.4.0
* [xen] Allow device providers to be added later
* [xen] Move the blkif implementation to ocaml-xen-block-driver
* [xen] Io_page.string_blit has now an interface similar to String.blit
* [xen] Console.write_s has been renamed Console.write_all
* [xen] Gnttab.unmap_exn now throws an exception on failure, like the
xenctrl version. This makes it possible to run the same blkback code
in kernelspace and userspace.
0.8.1 (27-Mar-2013):
* [xen] Fix the Xen block interface to wait for init correctly.
0.8.0 (12-Feb-2013):
* Remove `mir-build` script as the Mirari builder does its job now.
* [xen] add Str module C stubs, adapted to work in the Xen backend.
0.7.2 (08-Feb-2013):
* [xen] Fix the size of the start-of-day Xenstore and console rings.
* Quieten the verbosity of devices sleeping in Xen, to avoid console
overflow situations.
* Install the packed `cmx` along with the `cmxa` to ensure that the
compiler can do cross-module optimization (this is not a fatal error,
but will impact performance if the `cmx` file is not present).
0.7.1 (20-Dec-2012):
* [unix] Update devices API to use Cstruct 0.6.0
0.7.0 (20-Dec-2012):
* [xen] Add support for VM suspend/resume/migrate
* [xen] Support for multiple network interfaces
* [xen] Use new shared-memory-ring, removing old builtin version.
This is all OCaml except for the memory barrier assembly instructions.
* Update Cstruct to new API in 0.6.0
0.6.1 (15-Dec-2012):
* [xen] Add an unused ?dev parameter to Netif.create to match
the UNIX version.
* [script] Add a mir-build script which converts a native output
object into a Xen kernel. It does command-line parsing to be
compatible with other Xen outputs in the future (such as the
kFreeBSD or Javascript backends, when they are ready).
0.6.0 (11-Dec-2012):
* [xen] refresh to ocaml-4.00.1 runtime. You *must* use the
correct OPAM switch to match versions, or bad things will
happen when the resulting binary is run.
0.5.0 (10-Dec-2012):
* [xen] Fix spurious floating point exceptions on some machines.
* [ns3] Add NS3-based simulator backend.
* [unix] Add pcap-based Ethernet access in addition to tuntap.
0.4.1 (04-Nov-2012):
* [xen] fix incorrect reference counting in Io_pages that could
potentially cause pages to be reused too early.
* [xen] move Xenstore protocol implementation out to a separate
library that provides it as a functor.
* [unix] ignore SIGPIPE in the function.
0.4.0 (11-Sep-2012):
* [xen] Add support for mapping and unmapping grant references
* [xen] Support Xen 4.2 reserved console and xenstore maps.
* [xen] Switch the Xenstore and console rings over to use cstruct.
* [xen] Add Evtchn virq interface for stub xenstored.
* [xen] Add Evtchn.unbind.
* [netif] fix checksum calculation code for odd-sized packets.
0.3.0 (04-Sep-2012):
* Initial public release.
Jump to Line
Something went wrong with that request. Please try again.