commit f2e8e4d2619629b75dd6263b2aa58939538fa7e2
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sat Apr 6 13:49:36 2024 +0200

    tests: Reboot the VM after the test
    
    So it does not have to timeout.

diff --git a/tests/testlib.c b/tests/testlib.c
index 12c5e771..f82990f9 100644
--- a/tests/testlib.c
+++ b/tests/testlib.c
@@ -62,7 +62,7 @@ mach_port_t device_priv(void)
 
 void halt()
 {
-  int ret = host_reboot(host_priv_port, RB_HALT);
+  int ret = host_reboot(host_priv_port, 0);
   ASSERT_RET(ret, "host_reboot() failed!");
   while (1)
     ;
