| 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 |