/src/arch/ppc/boot/

• ../
• Config.lb
• boot.c
• coreboot_table.c
• coreboot_table.h
• tables.c