coreboot-kgpe-d16/payloads/external/LinuxBoot
..
arm64
targets
x86
x86_64
Kconfig
Kconfig.name
Makefile