[OpenBIOS] [commit] r1233 - in trunk/openbios-devel: drivers include/drivers