Merge pull request mirage#854 from avsm/prep-3.0.5

Prepare 3.0.5
djs55 · Aug 4, 2017 · aa2efa5 · aa2efa5
2 parents c0ae5b5 + 10da46f
commit aa2efa5
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,19 @@
+### 3.0.5 (2017-07-01)
+
+* Allow runtime configuration of syslog via config keys `--syslog`,
+  `--syslog-port` and `--syslog-hostname` (#853 via @hannesm).
+* Switch build of tool and libraries to Jbuilder (by @samoht)
+* Fix a warning when connecting to a ramdisk device (#837 by @g2p)
+* Fix reference to tar library when using `--kv-ro archive` (#848 by @mor1)
+* Adapt to latest functoria API (#849 by @samoht)
+
+* Add a `--gdb` argument for ukvm targets so that debuggers can be attached easily.
+  This allows `mirage configure --gdb -t ukvm` to work (@ricarkol in #847).
+
+Packaging updates for latest opam repository:
+* ARP is compatible with MirageOS3 since 0.2.0 (#851 by @hannesm)
+
+
 ### 3.0.4 (2017-06-15)
 * add a --block configure flag for picking ramdisk or file-backed disk
 * add lower bounds on packages

diff --git a/types/mirage_types_lwt.mli → types/mirage_types_lwt.ml b/types/mirage_types_lwt.mli → types/mirage_types_lwt.ml