/src/hw/ppc/