You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Milan aeac2f8adc
coreboot: 4.12 -> 4.13
2 months ago
configs milan-x230-fhd: add comment on CBFS_SIZE 2 months ago
modules grub2: add signKey option 2 months ago
nix remove flake 2 months ago
pkgs coreboot: 4.12 -> 4.13 2 months ago
.gitignore . 4 months ago
COPYING add license 4 months ago remove flake 2 months ago
default.nix remove flake 2 months ago


Configure and build coreboot using the Nix package manager

How to use:

  1. Create a configuration file for your device in configs/
  2. Add an entry to default.nix, i.e. my-device = makeDevice ./configs/my-device.nix;
  3. Build the coreboot rom: nix build -A my-device


  • Specify the build parameters with NixOS-style modules
  • Share declarative configuration across devices
  • Use cached coreboot and payload builds for different device/payload combinations
  • Use GRUB2, TianoCore or SeaBIOS as primary payload


  • currently only x86_64-linux host and target systems are supported