payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / foxconn / g41s-k / Kconfig
bloba98a47a77657e45c05837b8d3eb5a045fac6799d
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_FOXCONN_G41S_K || BOARD_FOXCONN_G41M
5 config IGNORE_IASL_MISSING_DEPENDENCY
6         def_bool y
8 config BOARD_SPECIFIC_OPTIONS
9         def_bool y
10         select CPU_INTEL_SOCKET_LGA775
11         select NORTHBRIDGE_INTEL_X4X
12         select SOUTHBRIDGE_INTEL_I82801GX
13         select SUPERIO_ITE_IT8720F
14         select BOARD_ROMSIZE_KB_1024
15         select HAVE_ACPI_RESUME
16         select HAVE_ACPI_TABLES
17         select HAVE_CMOS_DEFAULT
18         select HAVE_OPTION_TABLE
19         select MEMORY_MAPPED_TPM
20         select INTEL_GMA_HAVE_VBT
21         select MAINBOARD_HAS_LIBGFXINIT
23 config MAINBOARD_DIR
24         default "foxconn/g41s-k"
26 config VARIANT_DIR
27         default "g41s-k" if BOARD_FOXCONN_G41S_K
28         default "g41m" if BOARD_FOXCONN_G41M
30 config MAINBOARD_PART_NUMBER
31         default "G41S-K" if BOARD_FOXCONN_G41S_K
32         default "G41M/G41M-S/G41M-V" if BOARD_FOXCONN_G41M
34 config OVERRIDE_DEVICETREE
35         default "variants/\$(CONFIG_VARIANT_DIR)/overridetree.cb"
37 endif # BOARD_FOXCONN_G41S_K