src/mainboard/rca/rm4100/Kconfig

   1 config BOARD_RCA_RM4100
   2         bool "RM4100"
   3         select ARCH_X86
   4         select CPU_INTEL_SOCKET_MFCBGA479
   5         select NORTHBRIDGE_INTEL_I82830
   6         select SOUTHBRIDGE_INTEL_I82801DX
   7         select SUPERIO_SMSC_SMSCSUPERIO
   8         select HAVE_PIRQ_TABLE
   9         select UDELAY_TSC
  10         select BOARD_ROMSIZE_KB_1024
  11         select HAVE_HARD_RESET
  12         select HAVE_MAINBOARD_RESOURCES
  13         select USE_PRINTK_IN_CAR
  14         select HAVE_SMI_HANDLER
  15         select GFXUMA
  16         select USE_DCACHE_RAM
  17         select TINY_BOOTBLOCK
  18
  19 config MAINBOARD_DIR
  20         string
  21         default rca/rm4100
  22         depends on BOARD_RCA_RM4100
  23
  24 config MAINBOARD_PART_NUMBER
  25         string
  26         default "RM4100"
  27         depends on BOARD_RCA_RM4100
  28
  29 config DCACHE_RAM_BASE
  30         hex
  31         default 0xffdf8000
  32         depends on BOARD_RCA_RM4100
  33
  34 config DCACHE_RAM_SIZE
  35         hex
  36         default 0x8000
  37         depends on BOARD_RCA_RM4100
  38
  39 config IRQ_SLOT_COUNT
  40         int
  41         default 7
  42         depends on BOARD_RCA_RM4100
  43