src/mainboard/ocp/wedge100s/Kconfig

if BOARD_OCP_WEDGE100S

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select SOC_INTEL_FSP_BROADWELL_DE
	select BOARD_ROMSIZE_KB_16384
	select HAVE_ACPI_TABLES
	select HAVE_OPTION_TABLE
	select TSC_MONOTONIC_TIMER
	select HAVE_FSP_BIN if FSP_PACKAGE_DEFAULT
	select SERIRQ_CONTINUOUS_MODE
	select SUPERIO_ITE_COMMON_ROMSTAGE
	select FSP_EHCI1_ENABLE
	select MRC_CACHE_FMAP
	select ENABLE_FSP_FAST_BOOT
	select MAINBOARD_HAS_LPC_TPM
	select MAINBOARD_HAS_TPM1

config VBOOT
	select VBOOT_VBNV_CMOS
	select VBOOT_NO_BOARD_SUPPORT
	select GBB_FLAG_DISABLE_LID_SHUTDOWN
	select GBB_FLAG_DISABLE_PD_SOFTWARE_SYNC
	select GBB_FLAG_DISABLE_EC_SOFTWARE_SYNC
	select GBB_FLAG_DISABLE_FWMP

config MAINBOARD_DIR
	string
	default "ocp/wedge100s"

config MAINBOARD_PART_NUMBER
	string
	default "Wedge 100S"

config IRQ_SLOT_COUNT
	int
	default 18

config CBFS_SIZE
	hex
	default 0x006fa000 if VBOOT
	default 0x00200000

config VIRTUAL_ROM_SIZE
	hex
	default 0x1000000

config DRIVERS_UART_8250IO
	def_bool n

config FSP_PACKAGE_DEFAULT
	bool "Configure defaults for the Intel FSP package"
	default n

config FMDFILE
	string
	default "src/mainboard/$(CONFIG_MAINBOARD_DIR)/vboot-ro.fmd" if VBOOT
	default "src/mainboard/$(CONFIG_MAINBOARD_DIR)/board.fmd"

endif # BOARD_OCP_WEDGE100S