if BOARD_GOOGLE_PEPPY config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select CPU_INTEL_SOCKET_RPGA989 select NORTHBRIDGE_INTEL_HASWELL select SOUTHBRIDGE_INTEL_LYNXPOINT select INTEL_LYNXPOINT_LP select BOARD_ROMSIZE_KB_8192 select EC_GOOGLE_CHROMEEC select EC_SOFTWARE_SYNC 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 EXTERNAL_MRC_BLOB select MONOTONIC_TIMER_MSR config VBOOT_RAMSTAGE_INDEX hex default 0x2 config MAINBOARD_DIR string default google/peppy config MAINBOARD_PART_NUMBER string default "Peppy" config MMCONF_BASE_ADDRESS hex default 0xf0000000 config IRQ_SLOT_COUNT int default 18 config MAX_CPUS int default 8 config VGA_BIOS_FILE string default "pci8086,0166.rom" endif