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

if BOARD_GOOGLE_PEPPY

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select CPU_INTEL_SOCKET_RPGA989
	select NORTHBRIDGE_INTEL_HASWELL
	select SOUTHBRIDGE_INTEL_LYNXPOINT
	select INTEL_LYNXPOINT_LP
	select BOARD_ROMSIZE_KB_8192
	select EC_GOOGLE_CHROMEEC
	select EC_SOFTWARE_SYNC
	select VIRTUAL_DEV_SWITCH
	select HAVE_ACPI_TABLES
	select HAVE_OPTION_TABLE
	select HAVE_ACPI_RESUME
	select MMCONF_SUPPORT
	select HAVE_SMI_HANDLER
	select MAINBOARD_HAS_CHROMEOS
	select EXTERNAL_MRC_BLOB
	select MONOTONIC_TIMER_MSR

config VBOOT_RAMSTAGE_INDEX
	hex
	default 0x2

config MAINBOARD_DIR
	string
	default google/peppy

config MAINBOARD_PART_NUMBER
	string
	default "Peppy"

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,0166.rom"

endif