Networking improvements

• Man page fixes for typos and terminology (#220).
• Activate backtrace recording by default (#225).
• Fixes in the V1.STACKV4 to expose UDPv4/TCPv4 types properly (#226).

Combinator interface for configuration

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.

Improved debugging and IDE support

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.

Improved HTTP and FAT filesystem support

• Do not remove OPAM packages when doing mirage clean (#143)
• [xen] generate a simple main.xl, without block devices or network interfaces.
• The HTTP dependency now also installs mirage-tcp-* and mirage-http-*.
• Fix generated Makefile dependency on source OCaml files to rebuild reliably.
• Support Fat_KV_RO (a read-only k/v version of the FAT filesystem).
• The Unix KV_RO now passes through to the underlying filesystem instead of calling crunch, via mirage-fs-unix.

HTTP support and OPAM auto-installation fixes

• Add HTTP support.
• Fix KV_RO configuration for OPAM autoinstall.