Mirror/nix-git
Mirror/nix-git
1
0
Fork 0
mirror of https://codeberg.org/privacy1st/nix-git synced 2024-12-24 02:46:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

README: Raspberry Pi

Browse Source
This commit is contained in:
Daniel Langbein 2023-10-24 20:03:50 +02:00
parent c6ff094de5
commit 629c6134f3
Signed by: langfingaz
GPG Key ID: 6C47C753F0823002
1 changed files with 52 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
README.md
View File

@ -4,10 +4,11 @@
- [NixOS installation](#nixos-installation)
- [Graphical installation](#graphical-installation)
- [Remote installation: disko and nixos-anywhere](#remote-installation-disko-and-nixos-anywhere)
- [ARM device: Raspberry Pi 3B+](#arm-device-raspberry-pi-3b)
- [ARM device: SD image for the Raspberry Pi 3B+](#arm-device-sd-image-for-the-raspberry-pi-3b)
- [ISO](#iso)
- [Default configuration](#default-configuration)
- [Apply modified configuration](#apply-modified-configuration)
- [ARM device: Vanilla UEFI boot loader for the Raspberry Pi 3B+](#arm-device-vanilla-uefi-boot-loader-for-the-raspberry-pi-3b)
- [Update, build and switch](#update-build-and-switch)
- [Update](#update)
- [Build and switch: Using Colmena](#build-and-switch-using-colmena)
@ -68,7 +69,7 @@ Install NixOS via SSH everywhere.
There is a separate repository for these steps. Its README can be found here: https://codeberg.org/privacy1st/nixos-anywhere-example/src/template/README.md
## ARM device: Raspberry Pi 3B+
## ARM device: SD image for the Raspberry Pi 3B+
### ISO
@ -110,6 +111,55 @@ nixos-rebuild boot
reboot
```
## ARM device: Vanilla UEFI boot loader for the Raspberry Pi 3B+
**TODO**: The EFI menu was working. But I got many squashfs errors when booting an USB stick with the NixOS installer.
* https://www.eisfunke.com/posts/2023/uefi-boot-on-raspberry-pi-3.html
Preparing a micro SD card with an UEFI boot loader:
```shell
nix-shell -p parted gptfdisk
```
```shell
sudo parted --script /dev/SDX -- \
mklabel gpt \
mkpart ESP fat32 2Mib 512MiB \
set 1 esp on \
mkpart primary 512MiB 100% \
print
sudo wipefs --all /dev/SDX1
sudo wipefs --all /dev/SDX2
sudo mkfs.fat -F32 /dev/SDX1
sudo gdisk /dev/SDX
# r
# p
# h
# 1
# N
# 0c
# N
# N
# o
# w
# Y
```
In addition to the SD card, attach an USB stick with NixOS ARM (https://nixos.org/download.html#nixos-iso, https://hydra.nixos.org/job/nixos/release-23.05/nixos.iso_minimal.aarch64-linux, https://hydra.nixos.org/job/nixos/release-23.05/nixos.iso_minimal_new_kernel_no_zfs.aarch64-linux or https://hydra.nixos.org/job/nixos/trunk-combined/nixos.iso_minimal.aarch64-linux) to the Raspberry Pi.
```shell
sudo umount /dev/SDX
sudo dd if=nixos-minimal-XXX-aarch64-linux.iso of=/dev/SDX bs=4M conv=fsync
```
Then install NixOS the way you prefer, but don't touch/modify the partition table!
See https://nixos.wiki/wiki/NixOS_on_ARM/UEFI#Installing
## Update, build and switch
Local (yodaTux):