| 4 Jun 2023 |
artemis | i am using a raspberry pi 2 | 09:21:54 |
artemis | so i am stuck with the accursed raspi boot process | 09:22:01 |
| Alex joined the room. | 10:09:06 |
fgaz | In reply to @fgaz:matrix.org Nix got a lot harder to compile than last time I tried. Lots of new dependencies with strict version requirements Including mdbook (-> rustc!!) for docs generation. Fortunately there's a configure flag to disable it | 10:43:42 |
fgaz | nix: bootstrapped \o/
Time to build a NixOS image! | 11:13:42 |
fgaz | By the way, is there a community riscv cache? | 11:14:24 |
raitobezarius | No but it'd be nice to organize ourselves to build it :-) | 11:26:30 |
raitobezarius | imagonna use https://github.com/NixOS/nixpkgs/pull/235918/ to bring ethernet to my uboot's riscv branch | 12:11:00 |
raitobezarius | Error: ethernet@16040000 address not set.
clk gmac1_axi already disabled
clk gmac1_ahb already disabled
clk gmac1_ptp already disabled
clk gmac1_tx_inv already disabled
clk gmac1_gtxc already disabled
| 12:35:16 |
raitobezarius | ugh the eeprom thing doesn't seem to work | 12:35:22 |
raitobezarius | urgh I realized pixiecore uses ipxe which is not ported to riscv yet :D | 12:45:14 |
fgaz | Aaand I can't build anything https://github.com/NixOS/nixpkgs/issues/211120 | 14:39:01 |
fgaz | * Aaand I can't build anything. I get the same error as https://github.com/NixOS/nixpkgs/issues/211120 | 14:40:02 |
fgaz | Did anyone else run into this issue? Or do you all cross compile? | 14:40:30 |
fgaz | Huh. I just patched those shebangs and everything works now. This doesn't seem specific to riscv so I wonder how stdenv is bootstrapped for other archs. No sandbox? | 17:25:03 |
fgaz | * Huh. I just patched those shebangs and everything works now. This doesn't seem specific to riscv so I wonder how stdenv is bootstrapped for other archs. No sandbox? Or maybe riscv bootstrap-tools is broken? | 17:28:17 |
| @federicodschonborn:matrix.org changed their profile picture. | 17:39:57 |
fgaz | https://nixos.org/manual/nix/stable/command-ref/conf-file.html?highlight=build-chroot-dirs#conf-sandbox-paths
Depending on how Nix was built, the default value for this option may be empty or provide /bin/sh as a bind-mount of bash.
W H Y | 18:01:13 |
| @ners:nixos.dev joined the room. | 18:01:26 |
Alyssa Ross | I don't think that's even accurate | 18:04:52 |
Alyssa Ross | it's never bash | 18:04:55 |
Alyssa Ross | if it exists, it's busybox sh | 18:05:08 |
artemis | im not even sure that my pi2 is like... booting the nixos image im feeding it | 21:30:15 |
artemis | at all | 21:30:18 |
artemis | i have been struggling to get even serial output | 21:30:25 |
artemis | current state of the flake http://dpaste.com/5ZYQ2X66E | 21:30:45 |
artemis | * i have been struggling to get even serial output and have so far failed | 21:30:56 |
artemis | the raspi wiki says the pi2 uses mainline kernel. maybe i should try and switch to downstream kernel though im not quite sure how to do that | 21:31:35 |
artemis | oh wow sd-image-raspberrypi.nix is suuuuper barebones huh? cant even change config.txt with it | 21:46:17 |
| 5 Jun 2023 |
misuzu | In reply to @artemis:arty.chat so i am stuck with the accursed raspi boot process Doesn't it have uefi support? https://github.com/ms-iot/RPi-UEFI#raspberrypi23-uefi | 15:03:42 |