payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / msi / ms7d25 / Kconfig
blob0c8130fbfe95f15f7f7936d8a8411a23d727986f
1 config BOARD_MSI_Z690_A_PRO_WIFI_DDR4
2         select BOARD_MSI_MS7D25
4 config BOARD_MSI_MS7D25
5         def_bool n
6         select SOC_INTEL_ALDERLAKE_PCH_S
7         select BOARD_ROMSIZE_KB_32768
8         select SOC_INTEL_COMMON_BLOCK_HDA_VERB
9         select SUPERIO_NUVOTON_NCT6687D
10         select DRIVERS_UART_8250IO
11         select HAVE_ACPI_RESUME
12         select HAVE_ACPI_TABLES
13         select INTEL_GMA_HAVE_VBT
14         select CRB_TPM
15         select HAVE_INTEL_PTT
17 if BOARD_MSI_MS7D25
19 config MAINBOARD_DIR
20         default "msi/ms7d25"
22 config MAINBOARD_PART_NUMBER
23         default "PRO Z690-A WIFI DDR4(MS-7D25)" if BOARD_MSI_Z690_A_PRO_WIFI_DDR4
25 config MAINBOARD_VENDOR
26         string
27         default "Micro-Star International Co., Ltd."
29 config MAINBOARD_FAMILY
30         string
31         default "Default string"
33 config DIMM_SPD_SIZE
34         default 512
36 config UART_FOR_CONSOLE
37         int
38         default 0
40 config USE_PM_ACPI_TIMER
41         bool
42         default n
44 config USE_LEGACY_8254_TIMER
45         bool
46         default n
48 config CBFS_SIZE
49         hex
50         default 0x1000000
52 config VBOOT
53         select GBB_FLAG_DISABLE_EC_SOFTWARE_SYNC
54         select GBB_FLAG_DISABLE_FWMP
55         select GBB_FLAG_DISABLE_LID_SHUTDOWN
56         select GBB_FLAG_DISABLE_PD_SOFTWARE_SYNC
57         select VBOOT_ALWAYS_ENABLE_DISPLAY
58         select VBOOT_NO_BOARD_SUPPORT
59         select HAS_RECOVERY_MRC_CACHE
61 config VBOOT_SLOTS_RW_AB
62         default y if VBOOT
64 config FMDFILE
65         string
66         default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/vboot-rwab.fmd" if VBOOT && VBOOT_SLOTS_RW_AB
68 # gen_test_hwid.sh script doesn't like parentheses in the MAINBOARD_PART_NUMBER
69 # Override the GBB_HWID
70 config GBB_HWID
71         string
72         default "MSI_MS7D25"
74 endif