/os/common/startup/e200/devices/SPC56ECxx/
../
boot.h
boot.s
boot_cw.s
intc.h
ppcparams.h