Add Kconfig options to enable TSEG and set a size
[coreboot.git] / src / cpu / x86 / Kconfig
index 68946227b96a30967a5ca935ab460b371feb2683..0eaee2ed40bca6fb5036b5598428c9ede6319783 100644 (file)
@@ -43,3 +43,11 @@ config LOGICAL_CPUS
 config CACHE_ROM
        bool
        default n
+
+config SMM_TSEG
+       bool
+       default n
+
+config SMM_TSEG_SIZE
+       hex
+       default 0