if BOARD_INTEL_BASKING_RIDGE config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select CPU_INTEL_HASWELL select NORTHBRIDGE_INTEL_HASWELL select SOUTHBRIDGE_INTEL_LYNXPOINT select BOARD_ROMSIZE_KB_8192 select HAVE_ACPI_TABLES select HAVE_OPTION_TABLE select HAVE_ACPI_RESUME select HAVE_SMI_HANDLER select MAINBOARD_HAS_CHROMEOS select MAINBOARD_HAS_LPC_TPM select INTEL_INT15 config VBOOT select VBOOT_VBNV_CMOS config MAINBOARD_DIR string default intel/baskingridge config MAINBOARD_PART_NUMBER string default "BASKING RIDGE" config MMCONF_BASE_ADDRESS hex default 0xf0000000 config MAX_CPUS int default 16 config VGA_BIOS_FILE string default "pci8086,0166.rom" endif # BOARD_INTEL_BASKING_RIDGE