Skip to content

Simpler configuration and Entropy interface
Compare
Choose a tag to compare
@avsm avsm released this 07 Jul 09:39
v1.2.0
d86067c

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.

  • Improve format of generated Makefile, and also colours in terminal output.
  • Add make depend target to generated Makefile.
  • Set OPAMVERBOSE and OPAMYES in the Makefile, which can be overridden.
  • Add an ENTROPY device type for strong random sources (#256).
Assets 2