[OpenBIOS] [commit] r858 - trunk/openbios-devel/libopenbios