Raspberry Pi 4b Builder Gadget

I wired up some code to make disk images for raspberry pi 4bs which allow them to be plugged into your computer via usb c, and use them as a builder. I’m sharing this here in the hope that it’s useful for others - since this saves me a crazy amount of time over trying to use an install image to bootstrap a builder.

The readme is at ~c00w/useful-nixos-aarch64: pi4bgadget/README.md - sourcehut git, and the code lives at ~c00w/useful-nixos-aarch64: pi4bgadget/ - sourcehut git

Hosted by Flying Circus.