blob: 43b172fbd5455634332db6fbb6917b58b3a6066b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# Raspberry Pi SD card preparation steps
```
~# parted /dev/sdx
(parted) mktable msdos
(parted) mkpart primary fat16 0% 120M
(parted) mkpart primary btrfs 120M 100%
(parted) set 2 boot on
(parted) quit
~# mkfs.vfat -F16 /dev/sdx1
~# mkfs.btrfs /dev/sdx2
~# mount /dev/sdx1 /mnt
~# nix build .#firmware-HOST
~# cp -r result/* /mnt/
~# umount mnt
~# mount /dev/sdx2 /mnt
~# nix copy --to /mnt .#toplevel-HOST
~# nix build --print-out-paths .#toplevel-HOST
~# nix eval .#nixosConfigurations.HOST.config.boot.loader.generic-extlinux-compatible.populateCmd
"/nix/store/AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA-extlinux-conf-builder.sh -g 20 -t 5"
~# /nix/store/AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA-extlinux-conf-builder.sh -c -d ./mnt/boot
~# umount mnt
```
|
