coreboot-kgpe-d16/Documentation/getting_started
..
architecture.md
build_system.md
comparison_coreboot_uefi.dia
comparison_coreboot_uefi.svg
devicetree.md
gpio.md
index.md
kconfig.md
submodules.md
writing_documentation.md