Coreboot
Building in nix-shell
To build your own coreboot bios:
$ git clone https://review.coreboot.org/coreboot.git; cd coreboot
$ nix-shell -p ncurses.dev bison flex clang zlib
$ NIX_LDFLAGS="$NIX_LDFLAGS -lncurses" make menuconfig
$ make crossgcc
$ make
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.