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_PRINTK_IN_CAR
  13         select USE_DCACHE_RAM
  14         select TINY_BOOTBLOCK
  15
  16 config MAINBOARD_DIR
  17         string
  18         default digitallogic/adl855pc
  19         depends on BOARD_DIGITALLOGIC_ADL855PC
  20
  21 config MAINBOARD_PART_NUMBER
  22         string
  23         default "smartModule855"
  24         depends on BOARD_DIGITALLOGIC_ADL855PC
  25
  26 config DCACHE_RAM_BASE
  27         hex
  28         default 0xffdf8000
  29         depends on BOARD_DIGITALLOGIC_ADL855PC
  30
  31 config DCACHE_RAM_SIZE
  32         hex
  33         default 0x8000
  34         depends on BOARD_DIGITALLOGIC_ADL855PC
  35
  36 config IRQ_SLOT_COUNT
  37         int
  38         default 5
  39         depends on BOARD_DIGITALLOGIC_ADL855PC