* If the relevant options are set, try to enable the 'error' led and
disable the watchdog(s).
#include <sys/signalvar.h>
+#include <sys/wdog.h>
+#include <dev/misc/gpio/gpio.h>
+
#ifndef PANIC_REBOOT_WAIT_TIME
#define PANIC_REBOOT_WAIT_TIME 15 /* default to 15 seconds */
#endif
kprintf("cpuid = %d\n", mycpu->gd_cpuid);
#endif
+#if (NGPIO > 0) && defined(ERROR_LED_ON_PANIC)
+ led_switch("error", 1);
+#endif
+
+#if defined(WDOG_DISABLE_ON_PANIC) && defined(WATCHDOG_ENABLE)
+ wdog_disable();
+#endif
+
#if defined(DDB)
if (newpanic && trace_on_panic)
print_backtrace();