coreboot-kgpe-d16/src/ec/hp/kbc1126
..
acpi
Kconfig
Makefile.inc
chip.h
early_init.c
ec.c
ec.h