x86: create space in bios memory map
authorNilay Vaish <nilay@cs.wisc.edu>
Thu, 28 Mar 2013 14:34:15 +0000 (09:34 -0500)
committerNilay Vaish <nilay@cs.wisc.edu>
Thu, 28 Mar 2013 14:34:15 +0000 (09:34 -0500)
commit433cab9d95480b29d5fa76f02686d16adaf38db2
treea6b9300d19ebfba9f480901930c4736321026f97
parent1af9369779466df9b3086150164dcb5de034abc9
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.
configs/common/FSConfig.py