1/* SPDX-License-Identifier: GPL-2.0-only */ 2 3/* mainboard configuration */ 4#include "../ec.h" 5 6#define SIO_EC_ENABLE_PS2K // Enable PS/2 Keyboard 7 8/* ACPI code for EC SuperIO functions */ 9#include <ec/quanta/ene_kb3940q/acpi/superio.asl> 10