> > 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 s
On Fri, Aug 28, 2020 at 07:02:32AM +0200, Gerd Hoffmann wrote:
> 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
> > > ---
> > > pc-bios/bios-microvm.bin | Bin 0 -> 131072 bytes
> >
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
> > ---
> > pc-bios/bios-microvm.bin | Bin 0 -> 131072 bytes
> > 1 file changed, 0 insertions(+), 0 deletions(-)
> > create mode 100644
On Wed, Aug 26, 2020 at 12:52:37PM +0200, Gerd Hoffmann wrote:
> Signed-off-by: Gerd Hoffmann
> ---
> 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 pr
Signed-off-by: Gerd Hoffmann
---
pc-bios/bios-microvm.bin | Bin 0 -> 131072 bytes
1 file changed, 0 insertions(+), 0 deletions(-)
create mode 100644 pc-bios/bios-microvm.bin
diff --git a/pc-bios/bios-microvm.bin b/pc-bios/bios-microvm.bin
new file mode 100644
index
000
