On Friday, 08.06.2018 at 17:21, Martin Lucina wrote:
> An update on this:
>
> After discussing with some of the core Mirage folks and others at robur,
> we've come to the conclusion that it is better to release what we have now
> rather than wait after the renaming is complete.
>
> So, the rough
Hi all,
as of today all the outstanding PRs on the Solo5 repository has been
merged, so we are in a good position to set concrete plans for the next
release (tentatively 0.3.0).
The main item I have on my list, to be done either before or immediately
after a release is #172 ("renaming ukvm to a
