µ-minter for ppc