coreboot-kgpe-d16/payloads/libpayload/arch/powerpc
..
Makefile.inc
coreboot.c
exec.S
head.S
main.c
sysinfo.c
timer.c
util.S
virtual.c