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

[Gerd Hoffmann]

> > 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.
> 
> Which version exactly? I'm still getting a different binary with this
> one:
> 
> gcc (GCC) 4.8.5 20150623 (Red Hat 4.8.5-39)

Exactly this one.

Hmm, when rebuilding now I see the binaries change too.  A few days ago
when I've rebuilt the microvm binary git didn't flag the other two
seabios binaries as changed even though they have been rebuilt.  So this
apparently was just luck.

take care,
  Gerd