[SeaBIOS] Mysterious "is VARVERIFY32INIT but used from" problem while trying to improve SeaBIOS

Kevin O'Connor kevin at koconnor.net
Tue Feb 27 17:25:41 CET 2018

On Sun, Feb 25, 2018 at 08:51:56PM +0300, Mike Banon wrote:
> >
> >  Please see the developer documentation:
> >
> I am afraid this documentation does not answer why this build problem
> does not happen when I apply this patch to the standalone cloned seabios
> while it does happens when I apply it to the seabios built by a coreboot

The default seabios configuration is to build for qemu and not
coreboot.  So, by default it would not include that code and would not
raise a compile time error.  If you configured seabios to build for
coreboot and it didn't raise a compile time error then that seems like
a build defect.


More information about the SeaBIOS mailing list