Skip to content

v3.6.0
Compare
Choose a tag to compare
@hannesm hannesm released this 02 Oct 16:47
· 1689 commits to main since this release
v3.6.0
aad44df

CHANGES:

  • solo5 0.6 support for multiple devices (#993, by @mato)
    please read https://github.com/Solo5/solo5/blob/v0.6.2/CHANGES.md for detailed changes
    observable mirage changes:
    • new target -t spt for sandboxed processed tender (seccomp on Linux)
    • new functions Mirage_key.is_solo5 and Mirage_key.is_xen, analogue to Mirage_key.is_unix
  • respect verbosity when calling ocamlbuild -- verbose if log level is info or debug (#999, by @mato)
Assets 3