src/mainboard/dell/xps_8300/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 if BOARD_DELL_XPS_8300
   4
   5 config BOARD_SPECIFIC_OPTIONS
   6         def_bool y
   7         select BOARD_ROMSIZE_KB_4096
   8         select HAVE_ACPI_RESUME
   9         select HAVE_ACPI_TABLES
  10         select INTEL_INT15
  11         select NORTHBRIDGE_INTEL_SANDYBRIDGE
  12         select SERIRQ_CONTINUOUS_MODE
  13         select SOUTHBRIDGE_INTEL_BD82X6X
  14         select USE_NATIVE_RAMINIT
  15         select SUPERIO_ITE_IT8772F
  16
  17 config MAINBOARD_DIR
  18         default "dell/xps_8300"
  19
  20 config MAINBOARD_PART_NUMBER
  21         default "XPS 8300"
  22
  23 config DRAM_RESET_GATE_GPIO # FIXME: check this
  24         default 60
  25
  26 config USBDEBUG_HCD_INDEX
  27         default 2
  28
  29 config VGA_BIOS_DGPU_ID
  30         default "10de,1082"
  31
  32 config CBFS_SIZE
  33         default 0x26F000
  34
  35 endif