cpu/x86/smm/pci_resource_store: Store DEV/VEN ID
[coreboot2.git] / src / mainboard / intel / dg43gt / Kconfig
blobc3c853cdeb7ca1bad88c1d0050c7aefd4d6c5ff5
1 # SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_INTEL_DG43GT
5 config BOARD_SPECIFIC_OPTIONS
6         def_bool y
7         select CPU_INTEL_SOCKET_LGA775
8         select NORTHBRIDGE_INTEL_X4X
9         select SOUTHBRIDGE_INTEL_I82801JX
10         select SUPERIO_WINBOND_W83627DHG
11         select HAVE_ACPI_TABLES
12         select BOARD_ROMSIZE_KB_4096
13         select PCIEXP_ASPM
14         select PCIEXP_CLK_PM
15         select HAVE_OPTION_TABLE
16         select HAVE_CMOS_DEFAULT
17         select HAVE_ACPI_RESUME
18         select GFX_GMA_ANALOG_I2C_HDMI_C
19         select DRIVERS_I2C_CK505
20         select INTEL_GMA_HAVE_VBT
21         select MAINBOARD_HAS_LIBGFXINIT
22         select MAINBOARD_USES_IFD_GBE_REGION
24 config VGA_BIOS_ID
25         string
26         default "8086,2e22"
28 config MAINBOARD_DIR
29         default "intel/dg43gt"
31 config MAINBOARD_PART_NUMBER
32         default "DG43GT"
34 endif # BOARD_INTEL_DG43GT