| Michał Żygowski | ef886c4 | 2022-09-29 00:58:43 +0200 | [diff] [blame] | 1 | CONFIG_VENDOR_PROTECTLI=y |
| Michał Kopeć | c42e28f | 2023-10-19 16:23:16 +0200 | [diff] [blame] | 2 | CONFIG_BOARD_PROTECTLI_VP46XX=y |
| Michał Żygowski | ef886c4 | 2022-09-29 00:58:43 +0200 | [diff] [blame] | 3 | CONFIG_TPM_MEASURED_BOOT=y |
| 4 | CONFIG_SMMSTORE_SIZE=0x40000 |
| 5 | CONFIG_TPM2=y |
| 6 | CONFIG_POST_IO_PORT=0x80 |
| 7 | CONFIG_PAYLOAD_EDK2=y |
| 8 | CONFIG_EDK2_BOOT_MANAGER_ESCAPE=y |
| 9 | CONFIG_EDK2_BOOT_TIMEOUT=6 |
| 10 | CONFIG_EDK2_FOLLOW_BGRT_SPEC=y |
| 11 | # CONFIG_EDK2_FULL_SCREEN_SETUP is not set |
| 12 | CONFIG_EDK2_SD_MMC_TIMEOUT=10 |
| 13 | CONFIG_EDK2_SERIAL_SUPPORT=y |