coreboot-kgpe-d16/Documentation/acpi
..
gpio.md