payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / intel / dg43gt / Kconfig
blob55b5cd08f0fe83c8d02e156e53ad55ce059bb04e
1 # SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_INTEL_DG43GT
5 config IGNORE_IASL_MISSING_DEPENDENCY
6         def_bool y
8 config BOARD_SPECIFIC_OPTIONS
9         def_bool y
10         select CPU_INTEL_SOCKET_LGA775
11         select NORTHBRIDGE_INTEL_X4X
12         select SOUTHBRIDGE_INTEL_I82801JX
13         select SUPERIO_WINBOND_W83627DHG
14         select HAVE_ACPI_TABLES
15         select BOARD_ROMSIZE_KB_4096
16         select PCIEXP_ASPM
17         select PCIEXP_CLK_PM
18         select HAVE_OPTION_TABLE
19         select HAVE_CMOS_DEFAULT
20         select HAVE_ACPI_RESUME
21         select GFX_GMA_ANALOG_I2C_HDMI_C
22         select DRIVERS_I2C_CK505
23         select INTEL_GMA_HAVE_VBT
24         select MAINBOARD_HAS_LIBGFXINIT
25         select MAINBOARD_USES_IFD_GBE_REGION
27 config VGA_BIOS_ID
28         string
29         default "8086,2e22"
31 config MAINBOARD_DIR
32         default "intel/dg43gt"
34 config MAINBOARD_PART_NUMBER
35         default "DG43GT"
37 endif # BOARD_INTEL_DG43GT