src/mainboard/digitallogic/adl855pc/Kconfig

   1 config BOARD_DIGITALLOGIC_ADL855PC
   2         bool "smartModule855"
   3         select ARCH_X86
   4         select CPU_INTEL_SOCKET_MPGA479M
   5         select NORTHBRIDGE_INTEL_I855
   6         select SOUTHBRIDGE_INTEL_I82801DX
   7         select SUPERIO_WINBOND_W83627HF
   8         select HAVE_OPTION_TABLE
   9         select HAVE_PIRQ_TABLE
  10         select HAVE_HARD_RESET
  11         select BOARD_ROMSIZE_KB_1024
  12         select USE_DCACHE_RAM
  13         select TINY_BOOTBLOCK
  14
  15 config MAINBOARD_DIR
  16         string
  17         default digitallogic/adl855pc
  18         depends on BOARD_DIGITALLOGIC_ADL855PC
  19
  20 config MAINBOARD_PART_NUMBER
  21         string
  22         default "smartModule855"
  23         depends on BOARD_DIGITALLOGIC_ADL855PC
  24
  25 config DCACHE_RAM_BASE
  26         hex
  27         default 0xffdf8000
  28         depends on BOARD_DIGITALLOGIC_ADL855PC
  29
  30 config DCACHE_RAM_SIZE
  31         hex
  32         default 0x8000
  33         depends on BOARD_DIGITALLOGIC_ADL855PC
  34
  35 config IRQ_SLOT_COUNT
  36         int
  37         default 5
  38         depends on BOARD_DIGITALLOGIC_ADL855PC