src/mainboard/compulab/intense_pc/acpi/ec.asl

/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

Device(EC)
{
	Name (_HID, EISAID("PNP0C09"))
	Name (_UID, 0)
	Name (_GPE, 23)
/* FIXME: EC support */
}