Jump to content

Coreboot: Difference between revisions

From NixOS Wiki
Klinger (talk | contribs)
Ehmry (talk | contribs)
Coreboot comes with a nix-shell expression.
 
(2 intermediate revisions by 2 users not shown)
Line 4: Line 4:


== Building in nix-shell ==
== Building in nix-shell ==
Note: the following was tested and working on NixOS 21.11 (Porcupine) while compiling the QEMU target for Coreboot v4.15 as well as Coreboot master (7b168c92f6).
Coreboot as of 24.02 comes with a Nix shell expression for x86 at <code>util/nixshell//devshell-i386.nix</code>.
 
To build your own coreboot bios:
 
Create a <code>shell.nix</code>, and run <code>nix-shell</code>
 
<syntaxhighlight lang="nix">
# shell.nix
 
# NOTE we need mkShellNoCC
# mkShell would add the regular gcc, which has no ada (gnat)
# https://github.com/NixOS/nixpkgs/issues/142943
 
with import <nixpkgs> { };
mkShellNoCC {
  buildInputs = [
    gnat11 # gcc with ada
    #gnatboot # gnat1
    ncurses # make menuconfig
    m4 flex bison # Generate flashmap descriptor parser
    #clang
    zlib
    #acpica-tools # iasl
    pkgconfig
    qemu # test the image
  ];
  shellHook = ''
    # TODO remove?
    NIX_LDFLAGS="$NIX_LDFLAGS -lncurses"
  '';
}
</syntaxhighlight>
 
Now we can build coreboot:


<syntaxHighlight lang=bash>
<syntaxHighlight lang=bash>
Line 50: Line 17:
git submodule update --init --checkout --depth 1
git submodule update --init --checkout --depth 1
du -sh . # ~700 MByte
du -sh . # ~700 MByte
nix-shell --pure util/nixshell/devshell-i386.nix


# configure
# configure
# set mainboard model, chip size, ...
# set mainboard model, chip size, ...
make menuconfig MENUCONFIG_COLOR=blackbg # blackbg = dark mode
make menuconfig MENUCONFIG_COLOR=blackbg # blackbg = dark mode
# build toolchain for a x86 target
# Note: the i386 toolchain is used for all x86 platforms including x86_64.
# See https://doc.coreboot.org/tutorial/part1.html
# to list all targets: make help
make crossgcc-i386 CPUS=$(nproc)


# build firmware
# build firmware
Line 89: Line 52:
* https://wiki.gentoo.org/wiki/Coreboot
* https://wiki.gentoo.org/wiki/Coreboot
* flashing the new bios image
* flashing the new bios image
** https://doc.coreboot.org/flash_tutorial/
** https://doc.coreboot.org/tutorial/flashing_firmware/index.html
** https://libreboot.org/docs/install/spi.html
** https://libreboot.org/docs/install/spi.html
[[Category:Booting]]
[[Category:Booting]]

Latest revision as of 11:42, 20 May 2025

Building as Nix Derivation

There is a commented example of building Coreboot as Nix derivation at blitz/nix-coreboot on Github.

Building in nix-shell

Coreboot as of 24.02 comes with a Nix shell expression for x86 at util/nixshell//devshell-i386.nix.

# clone coreboot git repository (latest master)
git clone https://review.coreboot.org/coreboot.git --depth 1
# or for a specific coreboot version (I.E. version 4.15)
git clone --branch 4.15 https://review.coreboot.org/coreboot.git --depth 1

# get 3rd party submodules in coreboot repository
cd coreboot
du -sh . # ~200 MByte
git submodule update --init --checkout --depth 1
du -sh . # ~700 MByte

nix-shell --pure util/nixshell/devshell-i386.nix

# configure
# set mainboard model, chip size, ...
make menuconfig MENUCONFIG_COLOR=blackbg # blackbg = dark mode

# build firmware
make CPUS=$(nproc)

# test firmware
qemu-system-x86_64 -bios build/coreboot.rom -serial stdio

Skip building toolchain

We can use our system toolchain to build coreboot firmware, but this is not recommended per coreboot docs:

you can possibly use your system toolchain, but the results are not reproducible, and may have issues, so this is not recommended

To use the system toolchain, in make menuconfig, enable General Setup > Allow building with any toolchain

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.

See also