coreboot-kgpe-d16/src/ec/acpi
..
ec.asl
ec.c
ec.h
Kconfig
Makefile.inc