summaryrefslogtreecommitdiff
path: root/src/security/intel
diff options
context:
space:
mode:
Diffstat (limited to 'src/security/intel')
-rw-r--r--src/security/intel/txt/Kconfig16
-rw-r--r--src/security/intel/txt/ramstage.c7
2 files changed, 21 insertions, 2 deletions
diff --git a/src/security/intel/txt/Kconfig b/src/security/intel/txt/Kconfig
index f9e4bc4bf4..c1442c86ee 100644
--- a/src/security/intel/txt/Kconfig
+++ b/src/security/intel/txt/Kconfig
@@ -70,4 +70,20 @@ config INTEL_TXT_CBFS_SINIT_ACM
string
default "txt_sinit_acm.bin"
+config INTEL_TXT_SINIT_SIZE
+ hex
+ default 0x20000
+ help
+ This is the size that will be programmed in TXT_SINIT_SIZE.
+ This needs to be at least the size of the SINIT ACM.
+ This is platform dependent. For instance on CPX this has
+ to be the ACM size + 64K.
+
+config INTEL_TXT_HEAP_SIZE
+ hex
+ default 0xe0000
+ help
+ This is the size that will be programmed in TXT_HEAP_SIZE.
+ This is platform dependent.
+
endif
diff --git a/src/security/intel/txt/ramstage.c b/src/security/intel/txt/ramstage.c
index 81d2dd1083..c33af893ac 100644
--- a/src/security/intel/txt/ramstage.c
+++ b/src/security/intel/txt/ramstage.c
@@ -372,6 +372,9 @@ static void lockdown_intel_txt(void *unused)
return;
}
+ _Static_assert(CONFIG_INTEL_TXT_HEAP_SIZE + CONFIG_INTEL_TXT_SINIT_SIZE
+ < CONFIG_INTEL_TXT_DPR_SIZE * MiB, "TXT Heap and Sinit must fit DPR");
+
if (dpr.size < CONFIG_INTEL_TXT_DPR_SIZE) {
printk(BIOS_ERR, "TEE-TXT: MCH DPR configured size is too small.\n");
return;
@@ -396,7 +399,7 @@ static void lockdown_intel_txt(void *unused)
* Document Number: 558294
* Chapter 5.5.6.3 Intel TXT Heap Memory Region
*/
- write64((void *)TXT_HEAP_SIZE, 0xE0000);
+ write64((void *)TXT_HEAP_SIZE, CONFIG_INTEL_TXT_HEAP_SIZE);
write64((void *)TXT_HEAP_BASE,
ALIGN_DOWN(tseg_base - read64((void *)TXT_HEAP_SIZE), 4096));
@@ -404,7 +407,7 @@ static void lockdown_intel_txt(void *unused)
* Document Number: 558294
* Chapter 5.5.6.2 SINIT Memory Region
*/
- write64((void *)TXT_SINIT_SIZE, 0x20000);
+ write64((void *)TXT_SINIT_SIZE, CONFIG_INTEL_TXT_SINIT_SIZE);
write64((void *)TXT_SINIT_BASE,
ALIGN_DOWN(read64((void *)TXT_HEAP_BASE) -
read64((void *)TXT_SINIT_SIZE), 4096));