coreboot-kgpe-d16/src/mainboard/samsung/stumpy/Kconfig

if BOARD_SAMSUNG_STUMPY

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select BOARD_ROMSIZE_KB_8192
	select MAINBOARD_HAS_CHROMEOS
	select CPU_INTEL_SOCKET_RPGA989
	select HAVE_ACPI_RESUME
	select HAVE_ACPI_TABLES
	select HAVE_OPTION_TABLE
	select NORTHBRIDGE_INTEL_SANDYBRIDGE
	select SOUTHBRIDGE_INTEL_BD82X6X
	select SUPERIO_ITE_IT8772F
	select HAVE_MRC

	select INTEL_INT15
config MAINBOARD_DIR
	string
	default samsung/stumpy

config MAINBOARD_PART_NUMBER
	string
	default "Stumpy"

config MMCONF_BASE_ADDRESS
	hex
	default 0xf0000000

config IRQ_SLOT_COUNT
	int
	default 18

config MAX_CPUS
	int
	default 8

config VGA_BIOS_FILE
	string
	default "pci8086,0106.rom"

config MAINBOARD_POWER_ON_AFTER_POWER_FAIL
	bool
	default n

endif # BOARD_SAMSUNG_STUMPY