diff options
| author | Michał Żygowski <michal.zygowski@3mdeb.com> | 2022-09-29 00:58:43 +0200 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2023-02-17 22:56:05 +0000 |
| commit | ef886c4ede4fd09558d568e13376246fe13badf3 (patch) | |
| tree | 308347496c8c9526cc040155f7bcb646d2be0484 /configs | |
| parent | 71b4e295668ad6312b2e5be823d24823be284160 (diff) | |
mb/protectli/vault_cml: Add Comet Lake 6 port board support
Signed-off-by: Michał Żygowski <michal.zygowski@3mdeb.com>
Change-Id: If1b4f9c8245a082ff875ae9c6102a1c45e677d0b
Reviewed-on: https://review.coreboot.org/c/coreboot/+/67940
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Krystian Hebel <krystian.hebel@3mdeb.com>
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/config.protectli_vp4630_vp4650 | 13 | ||||
| -rw-r--r-- | configs/config.protectli_vp4670 | 13 |
2 files changed, 26 insertions, 0 deletions
diff --git a/configs/config.protectli_vp4630_vp4650 b/configs/config.protectli_vp4630_vp4650 new file mode 100644 index 0000000000..af50a7e12e --- /dev/null +++ b/configs/config.protectli_vp4630_vp4650 @@ -0,0 +1,13 @@ +CONFIG_VENDOR_PROTECTLI=y +CONFIG_BOARD_PROTECTLI_VP4630_VP4650=y +CONFIG_TPM_MEASURED_BOOT=y +CONFIG_SMMSTORE_SIZE=0x40000 +CONFIG_TPM2=y +CONFIG_POST_IO_PORT=0x80 +CONFIG_PAYLOAD_EDK2=y +CONFIG_EDK2_BOOT_MANAGER_ESCAPE=y +CONFIG_EDK2_BOOT_TIMEOUT=6 +CONFIG_EDK2_FOLLOW_BGRT_SPEC=y +# CONFIG_EDK2_FULL_SCREEN_SETUP is not set +CONFIG_EDK2_SD_MMC_TIMEOUT=10 +CONFIG_EDK2_SERIAL_SUPPORT=y diff --git a/configs/config.protectli_vp4670 b/configs/config.protectli_vp4670 new file mode 100644 index 0000000000..a9decdaf6f --- /dev/null +++ b/configs/config.protectli_vp4670 @@ -0,0 +1,13 @@ +CONFIG_VENDOR_PROTECTLI=y +CONFIG_BOARD_PROTECTLI_VP4670=y +CONFIG_TPM_MEASURED_BOOT=y +CONFIG_SMMSTORE_SIZE=0x40000 +CONFIG_TPM2=y +CONFIG_POST_IO_PORT=0x80 +CONFIG_PAYLOAD_EDK2=y +CONFIG_EDK2_BOOT_MANAGER_ESCAPE=y +CONFIG_EDK2_BOOT_TIMEOUT=6 +CONFIG_EDK2_FOLLOW_BGRT_SPEC=y +# CONFIG_EDK2_FULL_SCREEN_SETUP is not set +CONFIG_EDK2_SD_MMC_TIMEOUT=10 +CONFIG_EDK2_SERIAL_SUPPORT=y |