src/mainboard/foxconn/d41s/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0-only
   2
   3 if BOARD_FOXCONN_D41S
   4
   5 config IGNORE_IASL_MISSING_DEPENDENCY
   6         def_bool y
   7
   8 config BOARD_SPECIFIC_OPTIONS
   9         def_bool y
  10         select CPU_INTEL_SOCKET_FCBGA559
  11         select NORTHBRIDGE_INTEL_PINEVIEW
  12         select SOUTHBRIDGE_INTEL_I82801GX
  13         select SUPERIO_ITE_IT8721F
  14         select HAVE_ACPI_TABLES
  15         select HAVE_ACPI_RESUME
  16         select BOARD_ROMSIZE_KB_1024
  17         select INTEL_INT15
  18         select HAVE_OPTION_TABLE
  19         select HAVE_CMOS_DEFAULT
  20         select DRIVERS_I2C_CK505
  21         select INTEL_GMA_HAVE_VBT
  22
  23 config MAINBOARD_DIR
  24         default "foxconn/d41s"
  25
  26 config MAINBOARD_PART_NUMBER
  27         default "D41S"
  28
  29 endif # BOARD_FOXCONN_D41S