acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / intel / wtm2 / Kconfig
blob1a10f931a70634d2e40f4ce9b81d96c55dabcf0d
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_INTEL_WTM2
5 config BOARD_SPECIFIC_OPTIONS
6         def_bool y
7         select SOC_INTEL_BROADWELL
8         select BOARD_ROMSIZE_KB_8192
9         select HAVE_ACPI_TABLES
10         select HAVE_OPTION_TABLE
11         select HAVE_ACPI_RESUME
12         select MAINBOARD_HAS_CHROMEOS
13         select MEMORY_MAPPED_TPM
14         select INTEL_INT15
16 config VBOOT
17         select VBOOT_VBNV_CMOS
19 config MAINBOARD_DIR
20         default "intel/wtm2"
22 config MAINBOARD_PART_NUMBER
23         default "WHITETIP MOUNTAIN 2"
25 endif # BOARD_INTEL_WTM2