nixos-rp4-image/README.md

18 lines
473 B
Markdown

# Custom SD image for Raspberry Pi 4
This repository contains the instructions and configuration to build a SD image with a bigger /boot partition size and my SSH public keys
## Usage
1. Enable QEMU on the host machine by adding the following option
```{nix}
boot.binfmt.emulatedSystems = [ "aarch64-linux" ];
```
2. Build the image
```{bash}
nix-build '<nixpkgs/nixos>' -A config.system.build.sdImage -I nixos-config=./sd-image.nix --argstr system aarch64-linux
```