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

if BOARD_GOOGLE_JECHT

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select SOC_INTEL_BROADWELL
	select BOARD_ROMSIZE_KB_8192
	select SUPERIO_ITE_IT8772F
	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 MAINBOARD_HAS_LPC_TPM
	select CHROMEOS_RAMOOPS_DYNAMIC
	select INTEL_INT15
	select CHROMEOS_VBNV_CMOS
	select PHYSICAL_REC_SWITCH

config MAINBOARD_DIR
	string
	default google/jecht

config MAINBOARD_PART_NUMBER
	string
	default "Jecht"

config MAX_CPUS
	int
	default 8

config VGA_BIOS_FILE
	string
	default "pci8086,0166.rom"

config HAVE_IFD_BIN
	bool
	default n

config HAVE_ME_BIN
	bool
	default n

endif