NixOS on ARM/Raspberry Pi 5: Difference between revisions

No edit summary
Raboof (talk | contribs)
Proposed Solution: document/promote building on Raspberry Pi OS, an easy way to get going
 
Line 72: Line 72:
{{Note|The author of the following section acknowledges that this may not be the best (or even intended) process. These instructions are provided on a best effort basis. If you have a better set of instructions, please contribute them to this section, replacing this content, and removing this notice.}}Setting up a NixOS system on your Raspberry Pi 5 consists of a number of steps. First, it's important to get a SD Image installer onto the device. If you're not currently running on an ARM system (almost definitely the case), you have three options:
{{Note|The author of the following section acknowledges that this may not be the best (or even intended) process. These instructions are provided on a best effort basis. If you have a better set of instructions, please contribute them to this section, replacing this content, and removing this notice.}}Setting up a NixOS system on your Raspberry Pi 5 consists of a number of steps. First, it's important to get a SD Image installer onto the device. If you're not currently running on an ARM system (almost definitely the case), you have three options:


# Cross compile the image (Note: an editor should add how-to information);
# Bootstrap a build machine onto the Raspberry Pi 5, for example with a standard Raspberry Pi OS SD card (use rpi-imager to enable sshd and set wifi credentials for a headless experience), `apt install nix` and run nix as root
# Hope that the compiled image is available in the cache;
# Cross compile the image
# Bootstrap a build machine onto the Raspberry Pi 5.
# Hope that the compiled image is available in the cache


=== Step 1: Building the SD Image ===
=== Step 1: Building the SD Image ===