Re: startstop test case of the NOVA-NUL microhypervisor