(reboot_mach): Insert a brief pause before actually rebooting the

kernel so that the user has a chance to see any messages that may be
displayed.

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 (;;);