src/mainboard/rca/rm4100/Kconfig

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