nixos-rp4-image/README.md

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

boot.binfmt.emulatedSystems = [ "aarch64-linux" ];

2. Build the image

nix-build '<nixpkgs/nixos>' -A config.system.build.sdImage -I nixos-config=./sd-image.nix --argstr system aarch64-linux