diff options
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/debug.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/kern/debug.c b/kern/debug.c index 6644340..109d920 100644 --- a/kern/debug.c +++ b/kern/debug.c @@ -126,6 +126,10 @@ panic_init(void) } } +#if ! MACH_KBD +extern boolean_t reboot_on_panic; +#endif + /*VARARGS1*/ void panic(const char *s, ...) @@ -167,7 +171,7 @@ panic(const char *s, ...) delay (1000000); /* microseconds */ } - halt_all_cpus (1); + halt_all_cpus (reboot_on_panic); #endif } |