#
# This file is part of the coreboot project.
#
#
# SPDX-License-Identifier: GPL-2.0-only

if BOARD_FOXCONN_D41S

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select CPU_INTEL_SOCKET_FCBGA559
	select NORTHBRIDGE_INTEL_PINEVIEW
	select SOUTHBRIDGE_INTEL_I82801GX
	select SUPERIO_ITE_IT8721F
	select HAVE_ACPI_TABLES
	select HAVE_ACPI_RESUME
	select BOARD_ROMSIZE_KB_1024
	select MAINBOARD_HAS_NATIVE_VGA_INIT
	select INTEL_INT15
	select HAVE_OPTION_TABLE
	select HAVE_CMOS_DEFAULT
	select DRIVERS_I2C_CK505
	select INTEL_GMA_HAVE_VBT

config MAX_CPUS
	int
	default 4

config MAINBOARD_DIR
	string
	default "foxconn/d41s"

config MAINBOARD_PART_NUMBER
	string
	default "D41S"

endif # BOARD_FOXCONN_D41S