On Apr 17, 2015, at 12:11 AM, Cormac O'Brien wrote:
The current version is 4.9.2; your version looks to be
about three years old.
I think that could be the problem. If it is, then maybe we should document that a
certain version of gcc is required to build OpenBIOS.