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