| 15 Sep 2024 |
 Alex | So I guess that once 6.11 reaches NixOS unstable there will be no more reason to run StarFive's fork (at least for headless setups). | 18:03:15 |
| 16 Sep 2024 |
| Alex | Support for cross-compiling GHC has been merged into Nixpkgs, so it is now possible to boot RISC-V GHC by cross-compiling from a supported platform.
fgaz this might have broken your ShellCheck fix, because GHC now claims that it supports all platforms even though it cannot be evaluated on exotic platforms unless a boot compiler is provided.
Next step: adding boot GHC binaries for RISC-V (and maybe some other platforms) to remove the need to cross-compile; these binaries can now be built entirely from Nixpkgs and upstream binaries. | 13:10:27 |
 fgaz | nice! | 13:11:18 |
| fgaz | can we host those binaries autonomously somehow? like the bootstrap files | 13:12:18 |
| Alex | That's the current plan, yes.
There's still some discussion to be had about how to upload those files. | 13:13:27 |
| Alex | (We probably need to figure out who's in charge of hosting them and ask them about it.) | 13:13:55 |
| fgaz | if we are allowed to use tarballs.nixos.org we can just follow the same procedure that is used for stdenv | 13:14:49 |
| fgaz | let's ask in #stdenv:nixos.org? | 13:16:02 |
| fgaz | * let's ask Philip Taron in #stdenv:nixos.org? | 13:17:14 |
| fgaz | or maybe @lovesegfault... I'm not sure who's in charge of it | 13:21:01 |
| Alex | Ah... I forgot that haskell-packages and master are separate branches. | 13:33:32 |
| Alex | * Ah... I forgot that haskell-updates and master are separate branches. | 13:35:21 |
|  silentlurker joined the room. | 19:56:49 |
|  @burntk:matrix.org changed their profile picture. | 21:56:56 |
| 17 Sep 2024 |
|  Dr. Worm changed their profile picture. | 16:18:20 |
| Dr. Worm changed their display name from Ms. Connection to D. Tritus. | 16:19:34 |
|  Tom (deprecated) joined the room. | 21:08:50 |
| 20 Sep 2024 |
 Tristan Ross | Starting to set up my VF2 with RISC-V | 19:28:46 |
| Tristan Ross | Using this https://github.com/NickCao/nixos-riscv, I had to replace x86_64 with aarch64. Built great on my Ampere Altra. | 19:29:04 |
| Tristan Ross | I think I forgot to change the device tree because lsblk doesn't seem to mention my NVME | 19:29:24 |
| Alex | The physical board has the version number written on it.
Only early buyers have a 1.2a board. | 19:33:37 |
| Tristan Ross | Oh, I have a case on it so getting it open requires me to shut it down and disconnect everything | 19:34:11 |
| Tristan Ross | It's a 1.3b | 19:36:07 |
| Alex | Which kernel are you using? | 19:36:24 |
| Tristan Ross | 6.10.10 | 19:36:39 |
| Alex | Is that mainline? | 19:36:56 |
| Tristan Ross | Idk | 19:37:01 |
| Tristan Ross | It's whatever Nick's flake uses | 19:37:08 |
| Alex | Looks like mainline then.
You'll need to update to 6.11, which has PCIe merged. | 19:37:57 |
| Tristan Ross | Alright | 19:38:09 |
