From 79ade04187ef9e54ac58c6aff1d1d600143da896 Mon Sep 17 00:00:00 2001
From: Jorrit Herder <jnherder@minix3.org>
Date: Wed, 10 Aug 2005 09:45:49 +0000
Subject: [PATCH] Put boot device memory initialization with #ifdef
 ENABLE_BOOTDEV ... #endif

---
 servers/pm/main.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/servers/pm/main.c b/servers/pm/main.c
index 636f8a810..d4e83baa0 100644
--- a/servers/pm/main.c
+++ b/servers/pm/main.c
@@ -237,6 +237,7 @@ PRIVATE void pm_init()
   if (sendrec(FS_PROC_NR, &mess) != OK || mess.m_type != OK)
 	panic(__FILE__,"can't sync up with FS", NO_NUM);
 
+#if ENABLE_BOOTDEV
   /* Possibly we must correct the memory chunks for the boot device. */
   if (kinfo.bootdev_size > 0) {
       mem_map[T].mem_phys = kinfo.bootdev_base >> CLICK_SHIFT;
@@ -244,6 +245,7 @@ PRIVATE void pm_init()
       mem_map[D].mem_len = (kinfo.bootdev_size+CLICK_SIZE-1) >> CLICK_SHIFT;
       patch_mem_chunks(mem_chunks, mem_map);
   }
+#endif /* ENABLE_BOOTDEV */
 
   /* Initialize tables to all physical memory and print memory information. */
   printf("Physical memory:");