Re: [OpenBIOS] r257 - in openbios-devel: drivers include/ppc