| CONFIG_VENDOR_MSI=y |
| CONFIG_CBFS_SIZE=0x1000000 |
| CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 |
| CONFIG_TIANOCORE_BOOT_TIMEOUT=3 |
| CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR4=y |
| # CONFIG_SMMSTORE is not set |
| CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y |
| CONFIG_POST_DEVICE_PCI_PCIE=y |
| CONFIG_POST_IO_PORT=0x80 |
| CONFIG_PAYLOAD_TIANOCORE=y |
| CONFIG_TIANOCORE_REPOSITORY="https://github.com/Dasharo/edk2.git" |
| CONFIG_TIANOCORE_TAG_OR_REV="origin/dasharo" |
| CONFIG_TIANOCORE_CBMEM_LOGGING=y |
| CONFIG_TIANOCORE_FOLLOW_BGRT_SPEC=y |
| CONFIG_TIANOCORE_SD_MMC_TIMEOUT=1000 |
| CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y |