PowerPC PREP platform (deprecated in favour of the 40p machine )īuild directions. The following machines are emulated through qemu-system-ppc: Note: Information below true for qemu-system-ppc builds as of 14-03-2019 2.3 Debugging qemu-system-ppc with GDB on an x86 Linux host.1.14 Xilinx Virtex ML507 reference design.1.10 PowerPC PREP platform (deprecated in favour of the 40p machine).1.4.1 Mac OS/OSX and Linux guest compatibility.1.3 Pre-built binaries for Windows and OSX.