if BOARD_HP_REVOLVE_810_G1 config BOARD_SPECIFIC_OPTIONS def_bool y select BOARD_ROMSIZE_KB_16384 select EC_HP_KBC1126 select HAVE_ACPI_RESUME select HAVE_ACPI_TABLES select INTEL_INT15 select NORTHBRIDGE_INTEL_SANDYBRIDGE select SERIRQ_CONTINUOUS_MODE select SOUTHBRIDGE_INTEL_C216 select SYSTEM_TYPE_LAPTOP select USE_NATIVE_RAMINIT select MAINBOARD_HAS_LPC_TPM select MAINBOARD_HAS_TPM1 select GENERIC_SPD_BIN select HAVE_OPTION_TABLE select HAVE_CMOS_DEFAULT select MAINBOARD_HAS_LIBGFXINIT select GFX_GMA_INTERNAL_IS_LVDS select MAINBOARD_USES_IFD_GBE_REGION config MAINBOARD_DIR string default hp/revolve_810_g1 config MAINBOARD_PART_NUMBER string default "EliteBook Revolve 810 G1" config VGA_BIOS_FILE string default "pci8086,0166.rom" config VGA_BIOS_ID string default "8086,0166" 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