1 files changed, 1 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c
index c15381dc..902c2fc5 100644
--- a/init/init.c
+++ b/init/init.c
@@ -134,6 +134,7 @@ reboot_mach (int flags)
     {
       printf ("init: %sing Mach (flags %#x)...\n", BOOT (flags), flags);
       fflush (stdout);
+      sleep (5);
       while ((errno = host_reboot (host_priv, flags)))
 	perror ("host_reboot");
       for (;;);