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!

111 (100.0%) out of 111 built coreboot images were reproducible in our test setup ! These tests were last run on 2023-08-18 for version 4.20-1184-g873ebf201f using diffoscope 247.

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.1.0-11-amd64Linux 2.6.61-11-amd64
umask00220002
CPU type AMD Opteron(tm) Processor 4284same for both builds
/bin/sh is not yet varied between rebuilds of coreboot.
year, month, datetoday (2023-08-18)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 873ebf201fac31bfb76523906ffeadbbd54108d6
Author: Martin Roth 
Date:   Thu Aug 10 10:00:51 2023 -0600

    util/lint/kconfig_lint: Exclude site-local directory by default
    
    The site-local directory is not checked into the coreboot tree, so this
    change excludes it by default. By adding the site-local directory,
    an issue could be missed in the rest of the coreboot tree.
    
    This change also adds a new command-line argument of -S or --site_local
    that re-enables the site-local checking.
    
    Signed-off-by: Martin Roth 
    Change-Id: I95efa3e7b2cbb84e5c84d263222d8e914626d314
    Reviewed-on: https://review.coreboot.org/c/coreboot/+/77138
    Reviewed-by: Matt DeVillier 
    Tested-by: build bot (Jenkins) 
    Reviewed-by: Felix Singer 
    Reviewed-by: Arthur Heymans

cross toolchain sourcesha256sum
R06_28_23.tar.gz 2248799b7ca08a7711ac87d31924354ed49047507607d033bd327ba861ec4d31
binutils-2.40.tar.xz 0f8a4c272d7f17f369ded10a4aca28b8e304828e95526da482b0ccc4dfc9d8e1
gcc-11.4.0.tar.xz 3f2db222b007e8a4a23cd5ba56726ef08e8b1f1eb2055ee72c1402cea73a8dd9
gmp-6.2.1.tar.xz fd4829912cddd12f84181c3451cc752be224643e87fac497b69edddadc49b4f2
mpc-1.3.1.tar.gz ab642492f5cf882b74aa0cb730cd410a81edcdbec895183ce930e706c1c759b8
mpfr-4.2.0.tar.xz 06a378df13501248c1b2db5aa977a2c8126ae849a9d9b7be2546fb4a9c26d993
Debian 12.1 package on amd64installed version
gcc 4:12.2.0-3
g++ 4:12.2.0-3
make 4.3-4.1
cmake 3.25.1-1
flex 2.6.4-8.2
bison 2:3.8.2+dfsg-1+b1

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-2023 Holger Levsen and many others.
Last update: 2023-08-18 12:57 UTC