acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / intel / shadowmountain / Kconfig
blobf01479bcaa3908918d79dbcb07c8be2b3d143247
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_INTEL_SHADOWMOUNTAIN
5 config BOARD_SPECIFIC_OPTIONS
6         def_bool y
7         select BOARD_ROMSIZE_KB_32768
8         select DRIVERS_I2C_GENERIC
9         select DRIVERS_I2C_HID
10         select DRIVERS_I2C_MAX98373
11         select DRIVERS_INTEL_DPTF
12         select DRIVERS_INTEL_PMC
13         select DRIVERS_INTEL_USB4_RETIMER
14         select DRIVERS_SPI_ACPI
15         select DRIVERS_USB_ACPI
16         select EC_GOOGLE_CHROMEEC
17         select EC_GOOGLE_CHROMEEC_BOARDID
18         select EC_GOOGLE_CHROMEEC_SKUID
19         select EC_GOOGLE_CHROMEEC_LPC
20         select HAVE_ACPI_RESUME
21         select HAVE_ACPI_TABLES
22         select HAVE_SPD_IN_CBFS
23         select INTEL_LPSS_UART_FOR_CONSOLE
24         select MAINBOARD_HAS_CHROMEOS
25         select MAINBOARD_HAS_TPM2
26         select PCIEXP_HOTPLUG
27         select SOC_INTEL_ALDERLAKE_PCH_P
28         select SOC_INTEL_CSE_LITE_SKU
29         select SPI_TPM
30         select TPM_GOOGLE_CR50
31         select INTEL_CAR_NEM #TODO - Enable INTEL_CAR_NEM_ENHANCED
33 config CHROMEOS
34         select GBB_FLAG_FORCE_DEV_SWITCH_ON
35         select GBB_FLAG_FORCE_DEV_BOOT_USB
36         select GBB_FLAG_FORCE_DEV_BOOT_ALTFW
37         select GBB_FLAG_FORCE_MANUAL_RECOVERY
39 config VBOOT
40         select EC_GOOGLE_CHROMEEC_SWITCHES
41         select VBOOT_LID_SWITCH
42         select HAS_RECOVERY_MRC_CACHE
43         select VBOOT_EARLY_EC_SYNC
45 config DEVICETREE
46         default "variants/baseboard/devicetree.cb"
48 config MAINBOARD_DIR
49         default "intel/shadowmountain"
51 config MAINBOARD_FAMILY
52         string
53         default "Intel_shadowmountain"
55 config MAINBOARD_PART_NUMBER
56         default "shadowmountain"
58 config PCIEXP_HOTPLUG_BUSES
59         int
60         default 42
62 config PCIEXP_HOTPLUG_MEM
63         hex
64         default 0xc200000  # 194 MiB
66 config PCIEXP_HOTPLUG_PREFETCH_MEM
67         hex
68         default 0x1c000000 # 448 MiB
70 config DRIVER_TPM_SPI_BUS
71         default 0x1
73 config TPM_TIS_ACPI_INTERRUPT
74         int
75         default 3       # GPE0_DW0_3 (GPP_C3)
77 endif # BOARD_INTEL_SHADOWMOUNTAIN