@rptb1 @gareth-rees Could we restore PowerPC support? It evidently existed at some point: https://github.com/Ravenbrook/mps/tree/branch/2007-12-19/vmarenagrow However, the present version of configure is unaware of ppc and ppc64 on macOS.