diff options
| author | Thadeu Lima de Souza Cascardo | 2010-02-09 21:38:45 -0200 |
|---|---|---|
| committer | Ingo Molnar | 2010-02-25 10:28:18 +0100 |
| commit | e808bae2407a087bfd40200a27587898e5a9909d (patch) | |
| tree | 31cb016adef51c980c8648106b776ddf022d7a76 /arch/x86 | |
| parent | 39c662f60c556908faf861ef0430549b1731b891 (diff) | |
x86: Do not reserve brk for DMI if it's not going to be used
This will save 64K bytes from memory when loading linux if DMI is
disabled, which is good for embedded systems.
Signed-off-by: Thadeu Lima de Souza Cascardo <cascardo@holoscopio.com>
LKML-Reference: <1265758732-19320-1-git-send-email-cascardo@holoscopio.com>
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Diffstat (limited to 'arch/x86')
| -rw-r--r-- | arch/x86/kernel/setup.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/x86/kernel/setup.c b/arch/x86/kernel/setup.c index 3499b4fabc94..cb42109a55b4 100644 --- a/arch/x86/kernel/setup.c +++ b/arch/x86/kernel/setup.c @@ -121,7 +121,9 @@ unsigned long max_low_pfn_mapped; unsigned long max_pfn_mapped; +#ifdef CONFIG_DMI RESERVE_BRK(dmi_alloc, 65536); +#endif unsigned int boot_cpu_id __read_mostly; |