coreboot-kgpe-d16/src/mainboard/roda/rk886ex/Kconfig

config BOARD_RODA_RK886EX
	bool "RK886EX"
	select ARCH_X86
	select CPU_INTEL_CORE
	select CPU_INTEL_SOCKET_MFCPGA478
	select NORTHBRIDGE_INTEL_I945
	select SOUTHBRIDGE_INTEL_I82801GX
	select SOUTHBRIDGE_TI_PCI7420
	select SUPERIO_SMSC_LPC47N227
	select SUPERIO_RENESAS_M3885X
	select HAVE_PIRQ_TABLE
	select HAVE_MP_TABLE
	select MMCONF_SUPPORT
	select USE_PRINTK_IN_CAR
	select AP_IN_SIPI_WAIT
	select UDELAY_LAPIC
	select HAVE_ACPI_TABLES
	select HAVE_SMI_HANDLER
	select BOARD_ROMSIZE_KB_1024

config MAINBOARD_DIR
	string
	default roda/rk886ex
	depends on BOARD_RODA_RK886EX

config DCACHE_RAM_BASE
	hex
	default 0xffdf8000
	depends on BOARD_RODA_RK886EX

config DCACHE_RAM_SIZE
	hex
	default 0x8000
	depends on BOARD_RODA_RK886EX

config LB_CKS_RANGE_END
	int
	default 122
	depends on BOARD_RODA_RK886EX

config LB_CKS_LOC
	int
	default 123
	depends on BOARD_RODA_RK886EX

config MAINBOARD_PART_NUMBER
	string
	default "RK886EX"
	depends on BOARD_RODA_RK886EX

config MMCONF_BASE_ADDRESS
	hex
	default 0xf0000000
	depends on BOARD_RODA_RK886EX

config IRQ_SLOT_COUNT
	int
	default 18
	depends on BOARD_RODA_RK886EX

config MAX_CPUS
	int
	default 4
	depends on BOARD_RODA_RK886EX

config MAX_PHYSICAL_CPUS
	int
	default 2
	depends on BOARD_RODA_RK886EX