if BOARD_SAMSUNG_STUMPY

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select BOARD_ROMSIZE_KB_8192
	select MAINBOARD_HAS_CHROMEOS
	select MAINBOARD_HAS_LPC_TPM
	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
# LPC47N207 selected for external LPC card
# not on board, should be made selectable.
	select SUPERIO_SMSC_LPC47N207
	select INTEL_INT15

config VBOOT
	select VBOOT_PHYSICAL_DEV_SWITCH
	select VBOOT_PHYSICAL_REC_SWITCH
	select VBOOT_VBNV_CMOS

config MAINBOARD_DIR
	string
	default samsung/stumpy

config MAINBOARD_PART_NUMBER
	string
	default "Stumpy"

config MMCONF_BASE_ADDRESS
	hex
	default 0xf8000000 if USE_NATIVE_RAMINIT

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