diff options
Diffstat (limited to 'src/Kconfig')
| -rw-r--r-- | src/Kconfig | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/Kconfig b/src/Kconfig index 1c80b8c194..88df9ae8a8 100644 --- a/src/Kconfig +++ b/src/Kconfig @@ -1040,10 +1040,6 @@ config DEBUG_COVERAGE endmenu # These probably belong somewhere else, but they are needed somewhere. -config RAMINIT_SYSINFO - bool - default n - config ENABLE_APIC_EXT_ID bool default n |