payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / hp / folio_9480m / Kconfig
blob276eaaa15f60c3b6e8724dbedb545c5fe9230d39
1 if BOARD_HP_FOLIO_9480M
3 config BOARD_SPECIFIC_OPTIONS
4         def_bool y
5         # The board has a 16MB flash, but the end of the flash needs
6         # to be reserved, so we use 12MB as default
7         select BOARD_ROMSIZE_KB_12288
8         select EC_HP_KBC1126
9         select HAVE_ACPI_RESUME
10         select HAVE_ACPI_TABLES
11         select INTEL_GMA_HAVE_VBT
12         select INTEL_LYNXPOINT_LP
13         select MAINBOARD_HAS_LIBGFXINIT
14         select MEMORY_MAPPED_TPM
15         select MAINBOARD_HAS_TPM1
16         select MAINBOARD_USES_IFD_GBE_REGION
17         select NORTHBRIDGE_INTEL_HASWELL
18         select SERIRQ_CONTINUOUS_MODE
19         select SOUTHBRIDGE_INTEL_LYNXPOINT
20         select SYSTEM_TYPE_LAPTOP
22 config MAINBOARD_DIR
23         default "hp/folio_9480m"
25 config MAINBOARD_PART_NUMBER
26         default "HP EliteBook Folio 9480m"
28 config VGA_BIOS_ID
29         string
30         default "8086,0a16"
32 config USBDEBUG_HCD_INDEX
33         int
34         default 1
36 config EC_HP_KBC1126_ECFW_IN_CBFS
37         bool
38         default n
40 config EC_HP_KBC1126_GPE
41         hex
42         default 0x6
44 endif