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