coolneng
/
nixos-rp4-image
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
6 Commits 1 Branch 0 Tags 1.5 GiB
Nix 100%
Go to file
coolneng ddd749e4f3 Add compressed image 2022-11-14 19:56:02 +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 Initial commit 2022-07-12 16:39:43 +02: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

Usage

  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