> > 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
