I did not mention https://github.com/Thrilleratplay/guix-docker as it
probably is a red herring.
The goal of that repo is to create reproducible build environments using
Guix; the output is a docker image that can build coreboot and not
coreboot itself. The ultimate goal is create a replacement for
coreboot-sdk that itself is prove to be bit for bit reproducible from
source at any time in the future and reproduce a coreboot build. From
what I understand, Nix and Guix share philosophies but Nix's package
manager is more in line with apt, pacman, portage, etc where Guix is a
"hackable" version that is controlled via Guile Scheme (please correct
me if I am wrong with that). In any case, currently it will not build
coreboot 4.13 as I need to create a package definition for gnat and
bootstrap the FSF version of the Ada compiler. I am juggling many
projects on top of the demands of every day life, so development is slow.
Julian,
The take away is if you only want to build coreboot on NixOS and are ok
with using Docker, you may want to use
https://hub.docker.com/r/coreboot/coreboot-sdk. My
https://github.com/Thrilleratplay/coreboot-builder-scripts uses the
coreboot-sdk Docker image and may be helpful depending on which system
you are trying to build for.
On 4/28/21 7:24 PM, Piotr Król wrote:
On 4/15/21 6:58 PM, Julian Stecklina wrote:
Hi,
Hi Julian,
I'm trying to build Coreboot with Nix [1] and am facing some issues. I'm
wondering whether someone has already tried this before and can give some
pointers. My specific problem is how to nicely package the toolchain that
coreboot requires.
Any hints are appreciated. :)
I did discover https://nixos.wiki/wiki/Coreboot, but this doesn't help with the
toolchain issue when coreboot is built as a Nix derivation...
Toolchain reproducibility is something that was discussed many times in
community during after-party and vPub events. Current state of the art
is here:
https://github.com/Thrilleratplay/guix-docker
There is dedicated private channel for that problem on OSFW Slack:
https://slack.osfw.dev/
Feel free to ping me (nick pietrushnic) and I will add you to discussion.
Topics was so popular that we added it to official Dasharo Trolling
Topics List: https://docs.dasharo.com/osf-trolling-list/build_process/
Best Regards,
_______________________________________________
coreboot mailing list -- coreboot@coreboot.org
To unsubscribe send an email to coreboot-le...@coreboot.org
