1 ## SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_FOXCONN_G41S_K || BOARD_FOXCONN_G41M
5 config IGNORE_IASL_MISSING_DEPENDENCY
8 config BOARD_SPECIFIC_OPTIONS
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
24 default "foxconn/g41s-k"
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