NixOS RISC-V | 205 Members | |
| NixOS on RISC-V https://wiki.nixos.org/wiki/RISC-V https://pad.lassul.us/NixOS-riscv64-linux https://github.com/orgs/NixOS/teams/risc-v | 62 Servers |
| Sender | Message | Time |
|---|---|---|
| 12 Nov 2025 | ||
| Dang, so much faster than the VisionFive 2 lol | 06:45:04 | |
| eic7702x should have much better io and memory bw in addition to faster cores | 06:48:41 | |
| and twice as many cores | 06:48:46 | |
| well it's literally just better at all regards except price | 06:49:00 | |
| Yeah lol, I can at least use GNOME on it and it's not lagging | 06:49:51 | |
| I was able to play SuperTuxCart just fine | 06:50:03 | |
| currently twiddling thumbs waiting for zhihe a210 and spacemit k3 | 06:52:56 | |
| Nice, I wonder what has the most performance in the consumer space | 06:54:08 | |
| I'm looking forward to Tenstorrent's Ascalon, looks interesting but it'll be some time. | 06:54:43 | |
| "consumer" | 06:55:02 | |
| lol, if I can buy it I consider that consumer | 06:55:55 | |
| I wish to consume the whole rva23 soc market | 07:18:26 | |
| But yea can't wait for Atlantis | 07:23:53 | |
| Even if it's the "S"(4 wide) before the changed the image it would seem | 07:27:33 | |
| Or at least that's what I'm guessing it's what it is | 07:28:03 | |
| * Or at least that's what I'm guessing it's what it is, maybe it's the 6 wide version either way you won't know till it's out anyway | 07:28:56 | |
| Oh heh reread the slides it's Ascalon-X | 07:30:20 | |
In reply to @joerg:thalheim.ioI haven't done anything outside of M mode, but it seems like the manuals (vol 2 - privileged, chapters 4.3, 4.4, and 4.5) state that pages must be aligned to the page boundary, which is 4 KiB at the smallest level of pages. 0xf000 is appropriately aligned, so I see no reason for the ISA to disallow it. AFAICT there are no ISA-level restrictions on what virtual addresses can be used. | 10:43:09 | |
| fwiw it's basically the same as you would on x86-64, one of 39 bits sign extended / 48 bits sign extended / 57 bits sign extended depending on hw | 13:07:40 | |
| well you don't have 39 on x86-64 but it's fairly easy to extend that down | 13:07:52 | |
| * fwiw it's basically the same as you would have on x86-64, one of 39 bits sign extended / 48 bits sign extended / 57 bits sign extended depending on hw | 13:08:00 | |
| and for linux, "positive" address for user, "negative" for kernel | 13:08:23 | |
| Oh yay, stdenv is built.
| 17:29:14 | |
| 13 Nov 2025 | ||
| you have a patience that's beyond my imagination | 04:12:30 | |
| 14 Nov 2025 | ||
| Hi all, I have a few questions on RISC-V cross-compilation in Nix I need a bare-metal RISC-V toolchain (riscv32-none-elf with newlib, not Linux).
For context, I'm writing a SpinalHDL/Verilog project, with RISC-V firmware for an FPGA (no OS, pure embedded) | 11:49:45 | |
| * Hi all, I have a few questions on RISC-V cross-compilation in Nix I need a bare-metal RISC-V toolchain (riscv32-none-elf with newlib, not Linux).
For context, I'm writing a SpinalHDL/Verilog project, with RISC-V firmware for an FPGA (no OS, pure embedded) | 11:49:53 | |
| * Hi all, I have a few questions on RISC-V cross-compilation in Nix I need a bare-metal RISC-V toolchain (riscv32-none-elf with newlib, not Linux).
For context, I'm writing a SpinalHDL/Verilog project, with RISC-V firmware for an FPGA (no OS, pure embedded) | 11:50:02 | |
| Answer to 1: yes. | 11:50:17 | |
* Answer to 1: yes, it is just sugar (and crossSystem is far more flexible). | 11:50:45 | |
Oh no, audit fails to build... | 19:04:45 | |