Kconfig

## SPDX-License-Identifier: GPL-2.0-only

if BOARD_FOXCONN_G41S_K || BOARD_FOXCONN_G41M

config IGNORE_IASL_MISSING_DEPENDENCY
	def_bool y

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select CPU_INTEL_SOCKET_LGA775
	select NORTHBRIDGE_INTEL_X4X
	select SOUTHBRIDGE_INTEL_I82801GX
	select SUPERIO_ITE_IT8720F
	select BOARD_ROMSIZE_KB_1024
	select HAVE_ACPI_RESUME
	select HAVE_ACPI_TABLES
	select HAVE_CMOS_DEFAULT
	select HAVE_OPTION_TABLE
	select MEMORY_MAPPED_TPM
	select INTEL_GMA_HAVE_VBT
	select MAINBOARD_HAS_LIBGFXINIT

config MAINBOARD_DIR
	default "foxconn/g41s-k"

config VARIANT_DIR
	default "g41s-k" if BOARD_FOXCONN_G41S_K
	default "g41m" if BOARD_FOXCONN_G41M

config MAINBOARD_PART_NUMBER
	default "G41S-K" if BOARD_FOXCONN_G41S_K
	default "G41M/G41M-S/G41M-V" if BOARD_FOXCONN_G41M

config OVERRIDE_DEVICETREE
	default "variants/\$(CONFIG_VARIANT_DIR)/overridetree.cb"

endif # BOARD_FOXCONN_G41S_K