if BOARD_LENOVO_X1_CARBON_GEN1

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select SYSTEM_TYPE_LAPTOP
	select CPU_INTEL_SOCKET_RPGA989
	select NORTHBRIDGE_INTEL_IVYBRIDGE
	select USE_NATIVE_RAMINIT
	select SOUTHBRIDGE_INTEL_C216
	select EC_LENOVO_PMH7
	select EC_LENOVO_H8
	select NO_UART_ON_SUPERIO
	select BOARD_ROMSIZE_KB_12288
	select HAVE_ACPI_TABLES
	select HAVE_OPTION_TABLE
	select HAVE_CMOS_DEFAULT
	select HAVE_ACPI_RESUME
	select INTEL_INT15
	select SANDYBRIDGE_IVYBRIDGE_LVDS
	select DRIVERS_RICOH_RCE822
	select MAINBOARD_HAS_LPC_TPM
	select MAINBOARD_HAS_LIBGFXINIT
	select GFX_GMA_INTERNAL_IS_LVDS

	# Workaround for EC/KBC IRQ1.
	select SERIRQ_CONTINUOUS_MODE

config HAVE_IFD_BIN
	bool
	default n

config HAVE_ME_BIN
	bool
	default n

config MAINBOARD_DIR
	string
	default lenovo/x1_carbon_gen1

config MAINBOARD_PART_NUMBER
	string
	default "ThinkPad X1 carbon gen 1"

config MMCONF_BASE_ADDRESS
	hex
	default 0xf8000000

config MAX_CPUS
	int
	default 8

config USBDEBUG_HCD_INDEX
	int
	default 2

config DRAM_RESET_GATE_GPIO
	int
	default 10

config VGA_BIOS_FILE
	string
	default "pci8086,0166.rom"

config VGA_BIOS_ID
	string
	default "8086,0166"

config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
	hex
	default 0x17aa

config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
	hex
	default 0x21fa

endif # BOARD_LENOVO_X1_CARBON_GEN1