hannesm opened this issue 3 months ago · 0 comments
in various pretty-printers and help functions we use the term vm at the moment, while unikernel is more appropriate