x86: create space in bios memory map

As of now, we mark the top 1MB of memory space as unusable. Part of
it is actually usable and is required to be marked so by some of the
newer versions of linux kernel. This patch marks the top 639KB as usable.
This value was chosen by looking at QEMU's output for bios memory map.

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index 99b5c7967ef739d542e9d34bdf8a1421073a2d97..3a7a50839d87bd4e4a0d146dfa7ba8a219523a3f 100644 (file)
--- a/configs/common/FSConfig.py
+++ b/configs/common/FSConfig.py
@@ -536,7 +536,8 @@ def makeLinuxX86System(mem_mode, numCPUs = 1, mdesc = None, Ruby = False):
     self.e820_table.entries = \
        [
         # Mark the first megabyte of memory as reserved
-        X86E820Entry(addr = 0, size = '1MB', range_type = 2),
+        X86E820Entry(addr = 0, size = '639kB', range_type = 1),
+        X86E820Entry(addr = 0x9fc00, size = '385kB', range_type = 2),
         # Mark the rest as available
         X86E820Entry(addr = 0x100000,
                 size = '%dB' % (phys_mem_size - 0x100000),