blob: 339aa695cd29509ef347576242c0ba118ba64843 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
## 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
|