diff options
author | Stefan Reinauer <reinauer@chromium.org> | 2012-11-13 15:04:12 -0800 |
---|---|---|
committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2012-11-16 01:13:40 +0100 |
commit | 84833448026bfd5c5ef634d937d30017138f22b4 (patch) | |
tree | 95af8a600be4af8502dab96290ca280997a61256 /src/arch | |
parent | fccf4166ddbe1a41ee4f6e327c31dc3e21144a5c (diff) |
Drop Kconfig.deprecated_options
Both remaining options, DRIVERS_PS2_KEYBOARD and ID_SECTION_OFFSET
are not likely to go away any time soon, so let's not keep them
in Kconfig.deprecated_options but move them close to the code they
control.
Change-Id: I310b877c5b3d5a3444056641c4aee07a48c4c4be
Signed-off-by: Stefan Reinauer <reinauer@google.com>
Reviewed-on: http://review.coreboot.org/1839
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
Diffstat (limited to 'src/arch')
-rw-r--r-- | src/arch/x86/Kconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig index ec52d0e9ca..9bfd368c2e 100644 --- a/src/arch/x86/Kconfig +++ b/src/arch/x86/Kconfig @@ -115,4 +115,8 @@ config HPET_ADDRESS hex default 0xfed00000 if !HPET_ADDRESS_OVERRIDE +config ID_SECTION_OFFSET + hex + default 0x80 + endmenu |