if BOARD_PURISM_LIBREM13 config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select SYSTEM_TYPE_LAPTOP select BOARD_ROMSIZE_KB_8192 select EC_PURISM_LIBREM select HAVE_ACPI_RESUME select HAVE_ACPI_TABLES select INTEL_INT15 select SOC_INTEL_BROADWELL config DRIVERS_PS2_KEYBOARD def_bool y help Default PS/2 Keyboard to enabled on this board. config DRIVERS_UART_8250IO def_bool n help This platform does not have any way to get standard serial output so disable it by default. config HAVE_IFD_BIN bool default n config HAVE_ME_BIN bool default n config MAINBOARD_DIR string default purism/librem13 config MAINBOARD_PART_NUMBER string default "Librem 13" config MAX_CPUS int default 8 config NO_POST def_bool y help This platform does not have any way to see POST codes so disable them by default. config PRE_GRAPHICS_DELAY int default 50 config VGA_BIOS_ID string default "8086,1616" endif