kookie
/
nomicon
1
0
Fork 0
Code Issues Projects Releases 1 Activity
My personal project and infrastructure archive
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.
27 Commits
7 Branches
1 Tag
1.4 GiB
 
 
 
 
 
 
Tag: Branch: Tree: 1c50c5a76e
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '1c50c5a76e'
${ noResults }
Milan Pässler 1c50c5a76e
improve readme 		4 years ago
configs configs/milan-x1c: increase cbfs size 4 years ago
modules corenix: allow setting extraFiles.*.src to null 4 years ago
pkgs update nixpkgs, remove seabios version override 4 years ago
.gitignore . 4 years ago
README.md improve readme 4 years ago
default.nix add flake-compat 4 years ago
flake.lock update nixpkgs, remove seabios version override 4 years ago
flake.nix add seabios 4 years ago

README.md

corenix

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 flake.nix, i.e. my-device = makeDevice ./configs/my-device.nix;
  3. Build the coreboot rom: nix build -A pkgs.my-device

Features

  • Specify the build parameters with NixOS-style modules
  • Share declarative configuration across devices
  • Use cached coreboot and payload builds for different device/payload combinations

Limitations

  • currently only x86_64-linux host and target systems are supported
  • Only GRUB2 and TianoCore primary payloads are supported for now