startstop test case of the NOVA-NUL microhypervisor