Coreboot
Building in nix-shell
To build your own coreboot bios:
git clone https://review.coreboot.org/coreboot.git --depth 1
cd coreboot
du -sh . # 200 MByte
git submodule update --init --checkout --depth 1
du -sh . # 700 MByte
nix-shell -p ncurses bison flex clang gnat10 gnatboot zlib acpica-tools pkgconfig
NIX_LDFLAGS="$NIX_LDFLAGS -lncurses" make menuconfig
make crossgcc CPUS=$(nproc)
make
- gnat10 provides gnat
- gnatboot provides gnat1
Compiler version
gcc (provided by clang) and gnat (the GNU Ada compiler) must have the same version
gcc --version
gnat --version
For example, both 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.