1/* SPDX-License-Identifier: GPL-2.0-only */ 2 3/* mainboard configuration */ 4#include "ec.h" 5#include "onboard.h" 6 7#define SIO_EC_MEMMAP_ENABLE /* EC Memory Map Resources */ 8#define SIO_EC_HOST_ENABLE /* EC Host Interface Resources */ 9#define SIO_EC_ENABLE_PS2K /* Enable PS/2 Keyboard */ 10 11/* Override default IRQ settings */ 12#define SIO_EC_PS2K_IRQ Interrupt(ResourceConsumer, Edge, ActiveLow){\ 13 BOARD_I8042_IRQ} 14 15/* ACPI code for EC SuperIO functions */ 16#include <ec/google/chromeec/acpi/superio.asl> 17