Skip to content

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

Notifications You must be signed in to change notification settings

davegallant/nixos-pi

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

NixOS Pi

Build OS Image

⚠️ 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:

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

About

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

Topics

Resources

Stars

Watchers

Forks

Languages