coreboot-kgpe-d16/payloads/external/edk2
..
Kconfig
Kconfig.name
Makefile
tools_def.txt