summaryrefslogtreecommitdiff
path: root/src/arch/x86/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/x86/Kconfig')
-rw-r--r--src/arch/x86/Kconfig16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig
index f5bbd7827e..d7f144e179 100644
--- a/src/arch/x86/Kconfig
+++ b/src/arch/x86/Kconfig
@@ -286,3 +286,19 @@ config COLLECT_TIMESTAMPS_TSC
depends on COLLECT_TIMESTAMPS
help
Use the TSC as the timestamp source.
+
+config PAGING_IN_CACHE_AS_RAM
+ bool
+ default n
+ depends on ARCH_X86
+ help
+ Chipsets scan select this option to preallocate area in cache-as-ram
+ for storing paging data structures. PAE paging is currently the
+ only thing being supported.
+
+config NUM_CAR_PAGE_TABLE_PAGES
+ int
+ default 5
+ depends on PAGING_IN_CACHE_AS_RAM
+ help
+ The number of 4KiB pages that should be pre-allocated for page tables.