NixOS on Raspberry Pi

I installed NixOS in a few different ways on some Raspberry Pi’s.

2023-06-22 Booting a Raspberry Pi 3B with UEFI and a Hybrid MBR

I got NixOS to boot with a vanilla UEFI bootloader on a Raspberry Pi 3B thanks to a hybrid MBR.

Part of the nixos-on-rpi series.

2023-06-10 Installing Vanilla NixOS on a Raspberry Pi 4B with UEFI

I installed NixOS on an RPi 4B, this time using the Raspberry Pi UEFI firmware and a vanilla bootloader.

Part of the nixos-on-rpi series.

2023-05-30 Installing NixOS on a Raspberry Pi 3B

I installed NixOS on a Raspberry Pi 3B. Here’s a write-up on the process, the problems I encountered and what I learned. Let me tell you: the Pi’s boot process is weird. Also it’s too slow to even evaluate my NixOS config so I had to build and deploy it remotely, and some other fun stuff.

Part of the nixos-on-rpi series.