osfmk/tools/ppc/ppc_linux
