davegallant / nixos-pi

NixOS configuration and OS image builder (builds for the Raspberry Pi)

NixOS Pi

⚠️ The GitHub actions build is currently pinned to an outdated version of nixpkgs because of this issue

This repo contains configuration for creating an NixOS image that runs on a Raspberry Pi.

It contains the following services:

• AdGuardHome
• Tailscale
• netdata

Motivation

Because Reproducible Builds matter.

And also, SD cards are not the most reliable form of storage, especially when they are operating non-stop. Because of this, I wanted a simple way to build a reproducible OS image that will run on a Raspberry Pi.

Installation

Github Actions

The workflow runs on Ubuntu and emulates the ARM platform with QEMU.

When the build finishes, there will be an artifact named sd-image.img.zip.

Extract

This archive can be decompressed and the image can flashed on an SD card and used to boot up the OS.

unzip sd-image.img.zip
unzstd nixos-sd-image-21.05pre-git-aarch64-linux.img.zst

Flash to SD

The image can be flashed using the Raspberry Pi Imager or a simpler tool such as dd.

SSH

The default user/password is nixos/nixos with SSH enabled. Either change the password on initial login, or enable an authorized key and disable the password.

Addtional Resources

• NixOS on ARM