| 4 Jun 2023 |
 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 |
| Alex | 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 I don't know if you're still struggling with it, but I've had great success cross-compiling the binary tarball for 2.16.1 on x86_64, copy it to the host, then extract and run as usual. It's been easier than trying to debug confusing autoreconf errors or figure out what Debian packages provide the needed libraries.
(Though for some reason the nix commands only work for me when executed as root.)
You'll need to add riscv64 to the cross-compilation targets in the flake.nix for Nix (the package manager), then build hydraJobs.binaryTarballCross.x86_64-linux.riscv64-linux. Depending on your OS (my SBC is currently on Debian Sid), you may also need to add sandbox = false and/or filter-syscalls = false to /etc/nix/nix.conf. | 10:42:24 |
| fgaz | In the end I managed to compile it (thanks Alyssa Ross for the hint about busybox btw) | 10:44:51 |
| fgaz | My current blocker is [this](https://github.com/NixOS/nixpkgs/pull/236420) (llvm 15 won't build on riscv) | 10:48:26 |
| fgaz | In reply to @raitobezarius:matrix.org
No but it'd be nice to organize ourselves to build it :-) Maybe Domen can help, like with nix-community | 10:52:09 |
 Zhaofeng Li | In reply to @fgaz:matrix.org
My current blocker is this (llvm 15 won't build on riscv) Hmm, at least building natively worked fine last I tried | 19:16:42 |
| Zhaofeng Li | (it's been a while since I touched RISC-V stuff) | 19:17:01 |
