diff options
| author | Stefan Reinauer <stepan@coresystems.de> | 2008-10-29 03:15:42 +0000 |
|---|---|---|
| committer | Stefan Reinauer <stepan@openbios.org> | 2008-10-29 03:15:42 +0000 |
| commit | 532fd2dc3d3dcf9bf1f2e2c8df539d07d0f214a0 (patch) | |
| tree | c247f23f4243df98a4f43a7b90718a9b894a6fec /src/config | |
| parent | b64aa60f1fd5e6c84ec8ff6ad0baa7afee0d810a (diff) | |
Changes required to the device allocator:
- leave a hole for mmapped PCIe config space if CONFIG_PCIE_CONFIGSPACE_HOLE
is set.
- Mask moving bits to 32bit when resources are not supposed above 4G. Linux
does not like this, even though the resource is disabled.
Signed-off-by: Stefan Reinauer <stepan@coresystems.de>
Acked-by: Myles Watson <mylesgw@gmail.com>
git-svn-id: svn://svn.coreboot.org/coreboot/trunk@3699 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
Diffstat (limited to 'src/config')
| -rw-r--r-- | src/config/Options.lb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/config/Options.lb b/src/config/Options.lb index 715a2b8ef9..8e9f89d49c 100644 --- a/src/config/Options.lb +++ b/src/config/Options.lb @@ -1115,6 +1115,12 @@ define CONFIG_GX1_VIDEOMODE # 4 for 1280x1024 end +define CONFIG_PCIE_CONFIGSPACE_HOLE + default 0 + export always + comment "Leave a hole for PCIe config space in the device allocator" +end + ############################################### # Board specific options ############################################### |