Initialize NMI watchdog only once, after enabling paging

diff --git a/kernel/main.c b/kernel/main.c
index cd6eedd2da937b499634ef5d84b9279befd65e3f..e7d767e9655631b5ae4ad6eb228d8d013e0afe58 100644 (file)
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -76,17 +76,6 @@ PUBLIC void bsp_finish_booting(void)
 
   fpu_init();
 
-#ifdef CONFIG_WATCHDOG
-  if (watchdog_enabled) {
-         if (arch_watchdog_init()) {
-                 printf("WARNING watchdog initialization failed! Disabled\n");
-                 watchdog_enabled = 0;
-         }
-         else
-                 BOOT_VERBOSE(printf("Watchdog enabled\n"););
-  }
-#endif
-
 /* Warnings for sanity checks that take time. These warnings are printed
  * so it's a clear warning no full release should be done with them
  * enabled.