From 35b203fdb1c81dc4c804fcda5e1e8a8513cb3e37 Mon Sep 17 00:00:00 2001
From: Erik van der Kouwe <erik@minix3.org>
Date: Wed, 22 Jun 2011 17:56:57 +0200
Subject: [PATCH] Initialize NMI watchdog only once, after enabling paging

---
 kernel/main.c | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/kernel/main.c b/kernel/main.c
index cd6eedd2d..e7d767e96 100644
--- 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.