Coreboot

Building in nix-shell

To build your own coreboot bios:

$ git clone https://review.coreboot.org/coreboot.git --depth 1
$ cd coreboot
$ nix-shell -p ncurses bison flex clang gnat10 zlib acpica-tools pkgconfig
$ NIX_LDFLAGS="$NIX_LDFLAGS -lncurses" make menuconfig
$ make crossgcc
$ make

Compiler version

gcc (provided by clang) and gnat (the GNU Ada compiler) must have the same version

gcc --version
gnat --version

For example, both should have version 10.3.0

Building as derivation

coreboot is pretty picky about the toolchain it is built with and thus using the toolchain it comes with is the easiest path to success. There are commented Nix expressions that build coreboot here.