src/mainboard/gigabyte/ga_2761gxdk/Kconfig

   1 if BOARD_GIGABYTE_GA_2761GXDK
   2
   3 config BOARD_SPECIFIC_OPTIONS # dummy
   4         def_bool y
   5         select ARCH_X86
   6         select CPU_AMD_SOCKET_AM2
   7         select NORTHBRIDGE_AMD_AMDK8
   8         select NORTHBRIDGE_AMD_AMDK8_ROOT_COMPLEX
   9         select SOUTHBRIDGE_SIS_SIS966
  10         select SUPERIO_ITE_IT8716F
  11         select HAVE_BUS_CONFIG
  12         select HAVE_OPTION_TABLE
  13         select HAVE_PIRQ_TABLE
  14         select USE_DCACHE_RAM
  15         select HAVE_HARD_RESET
  16         select LIFT_BSP_APIC_ID
  17         select K8_REV_F_SUPPORT
  18         select BOARD_ROMSIZE_KB_512
  19
  20 config MAINBOARD_DIR
  21         string
  22         default gigabyte/ga_2761gxdk
  23
  24 config DCACHE_RAM_BASE
  25         hex
  26         default 0xc8000
  27
  28 config DCACHE_RAM_SIZE
  29         hex
  30         default 0x08000
  31
  32 config DCACHE_RAM_GLOBAL_VAR_SIZE
  33         hex
  34         default 0x01000
  35
  36 config APIC_ID_OFFSET
  37         hex
  38         default 0x10
  39
  40 config MEM_TRAIN_SEQ
  41         int
  42         default 2
  43
  44 config SB_HT_CHAIN_ON_BUS0
  45         int
  46         default 2
  47
  48 config MAINBOARD_PART_NUMBER
  49         string
  50         default "GA-2761GXDK"
  51
  52 config PCI_64BIT_PREF_MEM
  53         bool
  54         default n
  55
  56 config HW_MEM_HOLE_SIZEK
  57         hex
  58         default 0x100000
  59
  60 config MAX_CPUS
  61         int
  62         default 2
  63
  64 config MAX_PHYSICAL_CPUS
  65         int
  66         default 1
  67
  68 config HW_MEM_HOLE_SIZE_AUTO_INC
  69         bool
  70         default n
  71
  72 config HT_CHAIN_UNITID_BASE
  73         hex
  74         default 0x0
  75
  76 config HT_CHAIN_END_UNITID_BASE
  77         hex
  78         default 0x20
  79
  80 config SERIAL_CPU_INIT
  81         bool
  82         default n
  83
  84 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
  85         hex
  86         default 0x1039
  87
  88 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
  89         hex
  90         default 0x1234
  91
  92 config IRQ_SLOT_COUNT
  93         int
  94         default 11
  95
  96 endif # BOARD_GIGABYTE_GA_2761GXDK