diff options
| author | Martin Roth <martinroth@google.com> | 2015-11-28 16:32:25 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2015-12-03 21:54:08 +0100 |
| commit | 6e1192019eec85f3d8166970d2bf130c82471dd6 (patch) | |
| tree | f37be7ba2c5422192ed87e5832442a7528c0650e /payloads/external/SeaBIOS/Makefile.inc | |
| parent | c6a8d2ca7b80dc82f9a119379bff2106bcb6e405 (diff) | |
SeaBIOS/Kconfig: Remove SEABIOS_MALLOC_UPPERMEMORY option
This has been replaced by the PAYLOAD_CONFIGFILE option, allowing
any SeaBIOS config option to be set by a platform.
Change-Id: I584c4c481266740840158baba76581d68e69b448
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12570
Tested-by: build bot (Jenkins)
Reviewed-by: Alexander Couzens <lynxis@fe80.eu>
Diffstat (limited to 'payloads/external/SeaBIOS/Makefile.inc')
| -rw-r--r-- | payloads/external/SeaBIOS/Makefile.inc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/payloads/external/SeaBIOS/Makefile.inc b/payloads/external/SeaBIOS/Makefile.inc index 21da35e18a..7754afbbb3 100644 --- a/payloads/external/SeaBIOS/Makefile.inc +++ b/payloads/external/SeaBIOS/Makefile.inc @@ -31,9 +31,6 @@ ifeq ($(CONFIG_CONSOLE_SERIAL),y) else echo "# CONFIG_DEBUG_SERIAL is not set" >> seabios/.config endif -ifneq ($(CONFIG_SEABIOS_MALLOC_UPPERMEMORY),y) - echo "# CONFIG_MALLOC_UPPERMEMORY is not set" >> seabios/.config -endif ifneq ($(CONFIG_SEABIOS_THREAD_OPTIONROMS),y) echo "# CONFIG_THREAD_OPTIONROMS is not set" >> seabios/.config endif |