coreboot-kgpe-d16/src/mainboard/supermicro/x6dhe_g2/Kconfig

config BOARD_SUPERMICRO_X6DHE_G2
	bool "X6DHE-G2"
	select ARCH_X86
	select CPU_INTEL_SOCKET_MPGA604
	select NORTHBRIDGE_INTEL_E7520
	select SOUTHBRIDGE_INTEL_I82801EX
	select SOUTHBRIDGE_INTEL_PXHD
	select SUPERIO_NSC_PC87427
	select ROMCC
	select HAVE_HARD_RESET
	select BOARD_HAS_HARD_RESET
	select HAVE_PIRQ_TABLE
	select HAVE_MP_TABLE
	select BOARD_ROMSIZE_KB_1024
	select USE_WATCHDOG_ON_BOOT
	select DRIVERS_GENERIC_DEBUG

config MAINBOARD_DIR
	string
	default supermicro/x6dhe_g2
	depends on BOARD_SUPERMICRO_X6DHE_G2

config MAINBOARD_PART_NUMBER
	string
	default "X6DHE-G2"
	depends on BOARD_SUPERMICRO_X6DHE_G2

config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
	hex
	default 0x15d9
	depends on BOARD_SUPERMICRO_X6DHE_G2

config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
	hex
	default 0x6080
	depends on BOARD_SUPERMICRO_X6DHE_G2

config MAX_CPUS
	int
	default 4
	depends on BOARD_SUPERMICRO_X6DHE_G2

config IRQ_SLOT_COUNT
	int
	default 15
	depends on BOARD_SUPERMICRO_X6DHE_G2