| 3 Aug 2023 |
 admin (Moderation Team) | TODO: add to space | 17:04:26 |
| admin (Moderation Team) | (need to find our the room id for the #topics:nixos.org space) | 17:04:40 |
| admin (Moderation Team) | (turns out that was unnecessary) | 17:06:16 |
 [0x4A6F] | Thanks a lot, hexa ❤️. | 17:11:22 |
 hexa | currently in a meeting, will need to create and run through a checklist to see if that's it | 17:13:43 |
| admin (Moderation Team) left the room. | 17:13:49 |
| hexa | maybe call the room NixOS RISC-V? | 17:14:23 |
 Alex | Nice, it works: #riscv:nixos.org
It's still not showing up in the NixOS space, but that might be a client issue. | 17:15:21 |
| [0x4A6F] changed the room name to "NixOS RISC-V" from "nixos-on-risc-v". | 17:19:04 |
| [0x4A6F] | In reply to @alex:tunstall.xyz
Nice, it works: #riscv:nixos.org
It's still not showing up in the NixOS space, but that might be a client issue. It is showing up under the NixOS space, maybe also join #teams:nixos.org ? | 17:21:42 |
| Alex | In it already. hexa mentioned #topics:nixos.org so maybe I need to join that? | 17:22:40 |
| hexa | I find the topics/teams thing confusing | 17:23:31 |
| [0x4A6F] | Yeah, it is confusing. Was looking at arm for inspiration, which is in Teams. | 17:24:52 |
| Alex | My Matrix server is underprovisioned, so it's probably just taking a while to make sense of what's going on. I'll check again later. | 17:27:32 |
| hexa | like what team are we talking about? some nixpkgs team? some github team? what is the qualifier here? | 17:37:24 |
 raitobezarius | there's no explicit team here | 17:49:01 |
| raitobezarius | yet | 17:49:05 |
| raitobezarius | this is an informal WG on RISC-V | 17:49:09 |
| hexa | yeah, so let's leave it at topics right now | 17:54:58 |
| raitobezarius | error: builder for '/nix/store/ss94q3qsgjqgjhc07dd9nk75y05f2qn5-bootstrap-stage0-stdenv-linux.drv' failed due to signal 11 (Segmentation fault) | 21:23:33 |
| raitobezarius | this happens on the SG2042 | 21:23:37 |
| raitobezarius | lol | 21:23:37 |
| raitobezarius | no sandbox | 21:23:58 |
| Alex | Is this a Debian kernel? IIRC sandbox doesn't work there. | 21:24:53 |
| raitobezarius | it's a debian kernel and sandbox is disabled | 21:25:02 |
| raitobezarius | or a ubuntu kernel | 21:25:05 |
| raitobezarius | whatever | 21:25:06 |
| raitobezarius | ok | 21:53:57 |
| raitobezarius | /nix/store/am27aaylz23yrws5bl5v858bg57qjdg3-bootstrap-tools/bin/bash SIGSEGV on the machine | 21:54:02 |
| raitobezarius | Some binaries works, others fails | 21:58:53 |
