1 # SPDX-License-Identifier: GPL-2.0-only
5 config BOARD_SPECIFIC_OPTIONS
7 select CPU_INTEL_SOCKET_FCBGA559
8 select NORTHBRIDGE_INTEL_PINEVIEW
9 select SOUTHBRIDGE_INTEL_I82801GX
10 select SUPERIO_ITE_IT8721F
11 select HAVE_ACPI_TABLES
12 select HAVE_ACPI_RESUME
13 select BOARD_ROMSIZE_KB_1024
15 select HAVE_OPTION_TABLE
16 select HAVE_CMOS_DEFAULT
17 select DRIVERS_I2C_CK505
18 select INTEL_GMA_HAVE_VBT
21 default "foxconn/d41s"
23 config MAINBOARD_PART_NUMBER
26 endif # BOARD_FOXCONN_D41S