Re: [PATCH v6 03/20] seabios: add bios-microvm.bin binary

[Gerd Hoffmann]

On Thu, Aug 27, 2020 at 04:48:54PM +0200, Sergio Lopez wrote:
> On Wed, Aug 26, 2020 at 12:52:37PM +0200, Gerd Hoffmann wrote:
> > Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
> > ---
> >  pc-bios/bios-microvm.bin | Bin 0 -> 131072 bytes
> >  1 file changed, 0 insertions(+), 0 deletions(-)
> >  create mode 100644 pc-bios/bios-microvm.bin
> 
> Without reproducible builds (which we should probably consider having
> for everything inside "pc-bios", but that's outside the scope of this
> series), this one is hard to debug.

We have roms/Makefile for firmware builds.  "make -C roms bios" will
build seabios binaries (you need the seabios submodule initialized for
this).

And, yes, seabios builds are reproducible.  If you build with the same
compiler (rhel-7 gcc 4.8.5) you should end up with the same binary.

take care,
  Gerd