device/pci_ids: Add Panther Lake Intel Touch Controller PCI IDs
[coreboot2.git] / src / mainboard / dell / e6400 / Kconfig
blob417d95fd5d47120b75b3c3ee9a3269df46cf3785
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_DELL_E6400
5 config BOARD_SPECIFIC_OPTIONS
6         def_bool y
7         select SYSTEM_TYPE_LAPTOP
8         select CPU_INTEL_SOCKET_P
9         select NORTHBRIDGE_INTEL_GM45
10         select SOUTHBRIDGE_INTEL_I82801IX
11         select BOARD_ROMSIZE_KB_4096
12         select HAVE_ACPI_TABLES
13         select HAVE_OPTION_TABLE
14         select HAVE_CMOS_DEFAULT
15         select HAVE_ACPI_RESUME
16         select INTEL_INT15
17         select MAINBOARD_HAS_LIBGFXINIT
18         select MAINBOARD_USES_IFD_GBE_REGION
19         select INTEL_GMA_HAVE_VBT
20         select EC_DELL_MEC5035
22 config MAINBOARD_DIR
23         default "dell/e6400"
25 config MAINBOARD_PART_NUMBER
26         default "Latitude E6400" if BOARD_DELL_E6400
28 config USBDEBUG_HCD_INDEX
29         default 1
31 config CBFS_SIZE
32         default 0x1A0000
34 endif # BOARD_DELL_E6400