[SeaBIOS] Mysterious "is VARVERIFY32INIT but used from" problem while trying to improve SeaBIOS
Paul Menzel
pmenzel at molgen.mpg.de
Sun Feb 25 09:55:44 CET 2018
Dear Mike,
Am 25.02.2018 um 01:05 schrieb Mike Banon:
> 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 attach your patch, so that it can easily applied and the build
problem reproduced.
[…]
Kind regards,
Paul
More information about the SeaBIOS
mailing list