[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v6 03/20] seabios: add bios-microvm.bin binary
From: |
Gerd Hoffmann |
Subject: |
Re: [PATCH v6 03/20] seabios: add bios-microvm.bin binary |
Date: |
Fri, 28 Aug 2020 14:12:38 +0200 |
> > 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
- [PATCH v6 15/20] x86: move cpu hotplug from pc to x86, (continued)
[PATCH v6 10/20] microvm/acpi: use GSI 16-23 for virtio, Gerd Hoffmann, 2020/08/26
[PATCH v6 20/20] tests/acpi: update expected data files for microvm, Gerd Hoffmann, 2020/08/26
[PATCH v6 07/20] microvm: make virtio irq base runtime configurable, Gerd Hoffmann, 2020/08/26
[PATCH v6 17/20] tests/acpi: allow microvm test data updates., Gerd Hoffmann, 2020/08/26
[PATCH v6 08/20] microvm/acpi: add minimal acpi support, Gerd Hoffmann, 2020/08/26
[PATCH v6 18/20] tests/acpi: allow override blkdev, Gerd Hoffmann, 2020/08/26
[PATCH v6 06/20] acpi: move acpi_dsdt_add_power_button() to ged, Gerd Hoffmann, 2020/08/26
[PATCH v6 13/20] x86: constify x86_machine_is_*_enabled, Gerd Hoffmann, 2020/08/26