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