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.