Re: [LinuxBIOS] VGABIOS on a PPC