if BOARD_APPLE_MACBOOKAIR4_2

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select BOARD_ROMSIZE_KB_8192
	select CPU_INTEL_SOCKET_RPGA989
	select EC_ACPI
	select HAVE_ACPI_RESUME
	select HAVE_ACPI_TABLES
	select INTEL_EDID
	select INTEL_INT15
	select MAINBOARD_HAS_NATIVE_VGA_INIT
	select MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG
	select NORTHBRIDGE_INTEL_SANDYBRIDGE
	select SANDYBRIDGE_LVDS
	select SERIRQ_CONTINUOUS_MODE
	select SOUTHBRIDGE_INTEL_BD82X6X
	select SYSTEM_TYPE_LAPTOP
	select VGA

config HAVE_IFD_BIN
	bool
	default n

config HAVE_ME_BIN
	bool
	default n

config MAINBOARD_DIR
	string
	default apple/macbookair4_2

config MAINBOARD_PART_NUMBER
	string
	default "MacBookAir4,2"

config VGA_BIOS_FILE
	string
	default "pci8086,0116.rom"

config VGA_BIOS_ID
	string
	default "8086,0116"

config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
	hex
	default 0x7270

config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
	hex
	default 0x8086

config MMCONF_BASE_ADDRESS
	hex
	default 0xf0000000

config DRAM_RESET_GATE_GPIO # FIXME: check this
	int
	default 60

config MAX_CPUS
	int
	default 8

config USBDEBUG_HCD_INDEX # FIXME: check this
	int
	default 2
endif