coreboot-kgpe-d16/src/mainboard/google/butterfly/Kconfig

if BOARD_GOOGLE_BUTTERFLY

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select ARCH_X86
	select CPU_INTEL_SOCKET_RPGA989
	select NORTHBRIDGE_INTEL_IVYBRIDGE
	select SOUTHBRIDGE_INTEL_C216
	select EC_QUANTA_ENE_KB3940Q
	select BOARD_ROMSIZE_KB_8192
	select HAVE_ACPI_TABLES
	select HAVE_OPTION_TABLE
	select HAVE_ACPI_RESUME
	select HAVE_SMI_HANDLER
	select GFXUMA
	select CHROMEOS

	# Workaround for EC/KBC IRQ1.
	select SERIRQ_CONTINUOUS_MODE

config MAINBOARD_DIR
	string
	default google/butterfly

config MAINBOARD_PART_NUMBER
	string
	default "Butterfly"

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_PCI_SUBSYSTEM_VENDOR_ID
	hex
	default 0x1ae0

config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
	hex
	default 0xc000

config MAINBOARD_VENDOR
	string
	default "Hewlett-Packard"

endif # BOARD_GOOGLE_BUTTERFLY