acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / packardbell / ms2290 / Kconfig
blob3930f2b968fc191f7b74f7b278cbc87116538954
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_PACKARDBELL_MS2290
5 config BOARD_SPECIFIC_OPTIONS
6         def_bool y
7         select SYSTEM_TYPE_LAPTOP
8         select NORTHBRIDGE_INTEL_IRONLAKE
9         select SOUTHBRIDGE_INTEL_IBEXPEAK
10         select HAVE_OPTION_TABLE
11         select HAVE_CMOS_DEFAULT
12         select BOARD_ROMSIZE_KB_4096
13         select HAVE_ACPI_TABLES
14         select HAVE_ACPI_RESUME
15         select MAINBOARD_HAS_LIBGFXINIT
16         select INTEL_INT15
17         select EC_ACPI
19 config MAINBOARD_DIR
20         default "packardbell/ms2290"
22 config MAINBOARD_PART_NUMBER
23         default "EasyNote LM85"
25 config MAINBOARD_VERSION
26         string
27         default "V1.20"
29 config USBDEBUG_HCD_INDEX
30         int
31         default 2
33 config DRAM_RESET_GATE_GPIO
34         int
35         default 60
37 endif