| 4 Jun 2023 |
 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 |
 qbit | does the standard installer for pi3 use uefi? | 16:00:11 |
|  Geraint Ballinger joined the room. | 16:47:53 |
 Alex | In reply to @qbit:tapenet.org
does the standard installer for pi3 use uefi? The installer SD image seems to use u-boot.
The hardware itself does not support UEFI, but there are firmware images you can put on the SD card to get UEFI support. If you need it, you may want to check whether Nixpkgs has packaged it already. | 21:56:38 |
 emilytrau | 
Download Screenshot from 2023-06-05 15-23-06.png | 22:25:05 |
| emilytrau | nix compiles :oo | 22:25:28 |
| qbit | whoa | 23:38:57 |
| qbit | nice | 23:38:58 |
| 7 Jun 2023 |
|  @networkexception:chat.upi.li joined the room. | 08:01:26 |
