This repository has been archived by the owner on Oct 18, 2020. It is now read-only.
Regression test improvements
- Add the
mir-rt
regression runner toscripts/
(not installed). - Unhook
mir-run
from the build, as Mirari replaces it. - [xen] Port Netif to use the
Macaddr
module fromocaml-ipaddr
.