As of September 20, 2005, you can download object code (free reg. req.) for the PowerPC 405 and PowerPC 440 core models for Open SystemC-compatible EDA design tools. The code is useful for software engineers interested in developing boot firmware, operating system, or application code for a PowerPC-based chip. Also, for hardware engineers interested in architecture decision support, early benchmarking, or high-level system design trade-offs.
http://www.greensocs.com/
PPC440 is very good for mini-itx designs comparable to via’s ofering. Hope to see something soon
More interesting is IMO the Freescale mcp5200. There are nice things
to come. Genesi developed a 5200 board (Efika 5k2) running the smart
firmware. A very promising development.