Re: [OpenBIOS] Ppc guest debugging?