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

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

On Sun, Feb 25, 2018 at 03:05:06AM +0300, Mike Banon wrote:
> Friends, I need your help. While trying to improve SeaBIOS I got stuck
> at this very strange problem - which does not appear when you do a
> standalone build of SeaBIOS but it happens when you try building a
> coreboot together with SeaBIOS. Steps to reproduce:

Please see the developer documentation:


In particular, read the "memory model" and "execution and code phase"


More information about the SeaBIOS mailing list