coolneng
/
nixos-rp4-image
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
7 Commits 1 Branch 0 Tags 1.5 GiB
Nix 100%
Go to file
coolneng 8af695e825 Update README 2022-11-14 20:06:12 +01:00
.gitattributes Add compressed image 2022-11-14 19:56:02 +01:00
LICENSE.md Add LICENSE 2022-07-12 21:13:52 +02:00
README.md Update README 2022-11-14 20:06:12 +01:00
sd-image.nix Increase boot partition size to 1 GB 2022-11-14 19:40:04 +01:00

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

Building

  1. Enable QEMU on the host machine by adding the following option
boot.binfmt.emulatedSystems = [ "aarch64-linux" ];
  1. Build the image
nix-build '<nixpkgs/nixos>' -A config.system.build.sdImage -I nixos-config=./sd-image.nix --argstr system aarch64-linux

Usage

  1. Extract the image
nix-shell -p zstd --run "unzstd rp4-image.img.zst"
  1. Burn it to an SD card
sudo dd if=rp4-image.img of=/dev/mmcblk0 bs=1M status=progress conv=fsync