coreboot

coreboot™: fast, flexible and reproducible Open Source firmware!

Reproducible Coreboot

Reproducible builds enable anyone to reproduce bit by bit identical binary packages from a given source, so that anyone can verify that a given binary derived from the source it was said to be derived. There is more information about reproducible builds on the Debian wiki and on https://reproducible-builds.org. These pages explain in more depth why this is useful, what common issues exist and which workarounds and solutions are known.

Reproducible Coreboot is an effort to apply this to coreboot. Thus each coreboot.rom is build twice (without payloads), with a few variations added and then those two ROMs are compared using diffoscope. Please note that the toolchain is not varied at all as the rebuild happens on exactly the same system. More variations are expected to be seen in the wild.

There is a weekly run jenkins job to test the master branch of coreboot.git. The jenkins job is running reproducible_coreboot.sh in a Debian environment and this script is solely responsible for creating this page. Feel invited to join #reproducible-builds (on irc.oftc.net) to request job runs whenever sensible. Patches and other feedback are very much appreciated - if you want to help, please start by looking at the ToDo list for coreboot, you might find something easy to contribute.
Thanks to IONOS for donating the virtual machines this is running on!

160 (100.0%) out of 160 built coreboot images were reproducible in our test setup ! These tests were last run on 2025-12-01 for version 25.09-518-g5078d32ccc using diffoscope 309.

variationfirst buildsecond build
hostname osuosl1-amd64 or osuosl2-amd64the other one
domainname is not yet varied between rebuilds of coreboot.
env CAPTURE_ENVIRONMENTnot setCAPTURE_ENVIRONMENT="I capture the environment"
env TZTZ="/usr/share/zoneinfo/Etc/GMT+12"TZ="/usr/share/zoneinfo/Etc/GMT-14"
env LANGLANG="en_GB.UTF-8"LANG="et_EE.UTF-8"
env LC_ALLnot setLC_ALL="et_EE.UTF-8"
env PATHPATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:"PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path"
env USER is not yet varied between rebuilds of coreboot.
uid is not yet varied between rebuilds of coreboot.
gid is not yet varied between rebuilds of coreboot.
UTS namespace is not yet varied between rebuilds of coreboot.
kernel version, modified using /usr/bin/linux64 --uname-2.6Linux 6.12.57+deb13-amd64Linux 2.6.72+deb13-amd64
umask00220002
CPU type Intel Core Processor (Haswell, no TSX, IBRS)same for both builds
/bin/sh is not yet varied between rebuilds of coreboot.
year, month, datetoday (2025-12-01)same for both builds (currently, work in progress)
hour, minutehour and minute will probably vary between two builds...the future system actually runs 398 days, 6 hours and 23 minutes ahead...
Filesystemtmpfssame for both builds (currently, this could be varied using disorderfs)
everything else...is likely the same. There will be more variations in the wild.

commit 5078d32cccf82d31e81bd41de62c483128f440e9
Author: Matt DeVillier 
Date:   Thu Nov 27 11:14:08 2025 -0600

    mb/google/brya: Enable ACPI S3 sleep state support
    
    Add missing HAVE_ACPI_RESUME Kconfig selection to enable S3
    (suspend-to-RAM) sleep state support on Brya-based boards.
    
    Without this option, the ACPI sleepstates.asl initializes SSFG to
    0x09 (supporting only S0 and S4) instead of 0x0D (supporting S0, S3,
    and S4). This prevents the _S3 ACPI object from being created in the
    DSDT, causing the operating system to not recognize S3 as an
    available sleep state.
    
    With this change:
    - SSFG is initialized to 0x0D
    - _S3 ACPI object is created in DSDT
    - Linux recognizes S3 as supported (dmesg shows "ACPI: PM: (supports
      S0 S3 S4 S5)")
    - Both s2idle and deep sleep options become available
    
    Tested on Yaviks (Nissa/PCH-N variant).
    
    Change-Id: I07cfe9327b73d28ba7f7abc7755f3b870be5be00
    Signed-off-by: Matt DeVillier 
    Reviewed-on: https://review.coreboot.org/c/coreboot/+/90252
    Reviewed-by: Paul Menzel 
    Reviewed-by: Sean Rhodes 
    Tested-by: build bot (Jenkins)

cross toolchain sourcesha256sum
acpica-unix-20250807.tar.gz eaca4c0248db872a055ab38b0deab4f5f577d1a0cada0fcbc0d80955e2a98e33
binutils-2.45.tar.xz c50c0e7f9cb188980e2cc97e4537626b1672441815587f1eab69d2a1bfbef5d2
gcc-14.2.0.tar.xz a7b39bc69cbf9e25826c5a60ab26477001f7c08d85cec04bc0e29cabed6f3cc9
gmp-6.3.0.tar.xz a3c2b80201b89e68616f4ad30bc66aee4927c3ce50e33929ca819d5c43538898
mpc-1.3.1.tar.gz ab642492f5cf882b74aa0cb730cd410a81edcdbec895183ce930e706c1c759b8
mpfr-4.2.2.tar.xz b67ba0383ef7e8a8563734e2e889ef5ec3c3b898a01d00fa0a6869ad81c6ce01
Debian 13.2 package on amd64installed version
gcc 4:14.2.0-1
g++ 4:14.2.0-1
make 4.4.1-2
cmake 3.31.6-2
flex 2.6.4-8.2+b4
bison 2:3.8.2+dfsg-1+b2
pkg-config 1.8.1-4

There is more information about jenkins.debian.net and about reproducible builds of Debian available elsewhere.
Please send technical feedback about this setup to the Debian jenkins development list, or as a bug report against the jenkins.debian.org package. Feedback about specific job results should go to their respective lists and/or the BTS.
The code of jenkins.debian.net is mostly GPL-2 licensed. The weather icons are public domain and were taken from the Tango Icon Library. Copyright 2014-2024 Holger Levsen and many others.
Last update: 2025-12-01 17:27 UTC