src/mainboard/foxconn/d41s/Kconfig

   1 #
   2 # This file is part of the coreboot project.
   3 #
   4 #
   5 # SPDX-License-Identifier: GPL-2.0-only
   6
   7 if BOARD_FOXCONN_D41S
   8
   9 config BOARD_SPECIFIC_OPTIONS
  10         def_bool y
  11         select CPU_INTEL_SOCKET_FCBGA559
  12         select NORTHBRIDGE_INTEL_PINEVIEW
  13         select SOUTHBRIDGE_INTEL_I82801GX
  14         select SUPERIO_ITE_IT8721F
  15         select HAVE_ACPI_TABLES
  16         select HAVE_ACPI_RESUME
  17         select BOARD_ROMSIZE_KB_1024
  18         select MAINBOARD_HAS_NATIVE_VGA_INIT
  19         select INTEL_INT15
  20         select HAVE_OPTION_TABLE
  21         select HAVE_CMOS_DEFAULT
  22         select DRIVERS_I2C_CK505
  23         select INTEL_GMA_HAVE_VBT
  24
  25 config MAX_CPUS
  26         int
  27         default 4
  28
  29 config MAINBOARD_DIR
  30         string
  31         default "foxconn/d41s"
  32
  33 config MAINBOARD_PART_NUMBER
  34         string
  35         default "D41S"
  36
  37 endif # BOARD_FOXCONN_D41S