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.
 
 
 
 
 
 
nomicon/infra/corenix
Katharina Fey 399affe03e
corenix: update uwu coreboot configuration
3 years ago
..
configs corenix: update uwu coreboot configuration 3 years ago
modules Merge commit 'aeac2f8adcd683ade3be74a4680d4e96f39aef49' into main 3 years ago
nix Merge commit 'aeac2f8adcd683ade3be74a4680d4e96f39aef49' into main 3 years ago
pkgs Merge commit 'aeac2f8adcd683ade3be74a4680d4e96f39aef49' into main 3 years ago
.gitignore Add 'infra/corenix/' from commit '53a9f091f8cf9362a95c12130daa1f69ddff036c' 3 years ago
COPYING Add 'infra/corenix/' from commit '53a9f091f8cf9362a95c12130daa1f69ddff036c' 3 years ago
README.md Merge commit 'aeac2f8adcd683ade3be74a4680d4e96f39aef49' into main 3 years ago
default.nix corenix: update uwu coreboot configuration 3 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 default.nix, i.e. my-device = makeDevice ./configs/my-device.nix;
  3. Build the coreboot rom: nix build -A 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
  • Use GRUB2, TianoCore or SeaBIOS as primary payload

Limitations

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