|
|
@@ -112,6 +112,7 @@ source "arch/x86/cpu/braswell/Kconfig" |
|
|
|
source "arch/x86/cpu/broadwell/Kconfig" |
|
|
|
source "arch/x86/cpu/coreboot/Kconfig" |
|
|
|
source "arch/x86/cpu/ivybridge/Kconfig" |
|
|
|
source "arch/x86/cpu/efi/Kconfig" |
|
|
|
source "arch/x86/cpu/qemu/Kconfig" |
|
|
|
source "arch/x86/cpu/quark/Kconfig" |
|
|
|
source "arch/x86/cpu/queensbay/Kconfig" |
|
|
@@ -772,6 +773,4 @@ config HIGH_TABLE_SIZE |
|
|
|
Increse it if the default size does not fit the board's needs. |
|
|
|
This is most likely due to a large ACPI DSDT table is used. |
|
|
|
|
|
|
|
source "arch/x86/lib/efi/Kconfig" |
|
|
|
|
|
|
|
endmenu |