!xmLtiCaAJxfhURjrXl:matrix.org

NixOS RISC-V

227 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-v66 Servers

Load older messages


SenderMessageTime
2 Jun 2026
@liberodark:matrix.orgliberodarkWhen you have some time, I can help you with installing Nixos. Also, I'm interested because I don't have that model yet. And I've started, but with your help I could get it up and running sooner.10:10:30
@radex:hackerspace.plradexsounds good! I should have some time later this week10:14:26
@radex:hackerspace.plradex liberodark: do you expect that I would need any additional hardware tools other than the dupont serial to usb that was in the box? (I'll be traveling this week, so need to know in advance what I might need) 11:46:58
@liberodark:matrix.orgliberodarkYes, you should be able to connect via UART at a minimum. 11:51:29
@liberodark:matrix.orgliberodarkIf you don't have what you need, I can give you an example link.11:52:02
5 Jun 2026
@zimward:zimward.moezimward changed their display name from zimward to zimward @GPN24.19:38:23
7 Jun 2026
@zimward:zimward.moezimward changed their display name from zimward @GPN24 to zimward.21:08:25
9 Jun 2026
@michael_wzq:matrix.orgMichael Wang joined the room.08:06:31
11 Jun 2026
@philip4g:matrix.org@philip4g:matrix.org joined the room.03:23:11
13 Jun 2026
@sant0s:matrix.org@sant0s:matrix.org left the room.17:01:04
@dramforever:matrix.orgdramforever i just want to thank y'all for keeping this working, but i cross'd a nixos riscv64 minimal iso and it worked first try 19:15:04
@samuel:mnzn.devSamuel joined the room.19:40:47
@philip4g:matrix.org@philip4g:matrix.org left the room.21:22:02
@colemickens:matrix.orgcolemickensSo who has or is getting a Jupiter 2? 👀21:49:08
@colemickens:matrix.orgcolemickensmaybe the k3 devices are all roughly the same to get booting? maybe there's some DT differences between the two form factors?21:49:44
@colemickens:matrix.orgcolemickensoh hi I recognize this username https://github.com/NixOS/nixos-hardware/pull/189821:50:16
@colemickens:matrix.orgcolemickens curious: why do you have/need your own uboot repo? And did you look at building edk2 from source or not worth it? also, why is there both u-boot (besides fsbl), and edk2? I guess that has to do with what "esos" means? 🤔 cc: liberodark 21:54:30
@hexa:lossy.networkhexahttps://forge.fedoraproject.org/riscv/planning/issues/1722:46:28
@hexa:lossy.networkhexahttps://forge.fedoraproject.org/riscv/planning/issues/2322:46:35
@hexa:lossy.networkhexa

As of this writing (12 June 2026), we have some meaningful improvements on RVA23 hardware that is available today. Details of Fedora build benchmarks here: Fedora build benchmarks on SpacemiT K3 (RVA23 hardware). That said, even this is not quite enough for inclusion to main Koji, we will need another generational leap in hardware.

23:06:53
@hexa:lossy.networkhexais the relevant information imo23:06:59
14 Jun 2026
@dramforever:matrix.orgdramforever every time i look at this i think "okay i really need to know how much speedup -march=rva23u64 gives", and then i look at the price, and then i see "out of stock"... 04:28:56
@dramforever:matrix.orgdramforever * every time i look at this i think "okay i really need to know how much speedup -march=rva23u64 gives on k3", and then i look at the price, and then i see "out of stock"... 04:29:05
@dramforever:matrix.orgdramforever relatedly, i heard the milkv titan finally shipped? 09:20:10
15 Jun 2026
@liberodark:matrix.orgliberodark

Hi,

Oh, thanks for taking an interest in my work!

  • why do you have/need your own uboot repo?
    For several reasons, but mainly because I made a boot patch. Also, their repo is hard to clone from Gitee. PS: their GitHub repos aren't identical to it.

  • And did you look at building edk2 from source or not worth it?
    Yes, I tackled the upstream first since that's my goal, but it's not all perfect yet.

  • why is there both u-boot (besides fsbl), and edk2?
    Because I wanted to leave the choice to the user and stay hybrid, but the final choice remains the user's, even though on my side I went with UEFI. But both are supported.

Best Regards

07:54:19
@liberodark:matrix.orgliberodarkPS: Just to clarify a few points. I already discussed this with another reviewer, but in short, my goal really is to upstream the K3 as much as possible. It's going well so far, but there are still a few things to sort out. I expect those will end up as patches until an upstream solution is available.07:57:46
@liberodark:matrix.orgliberodarkMy next goal is to finish integrating the new K3 boards, and now that I have the cache + Hydra, the next step will be upstream.08:07:18
@dramforever:matrix.orgdramforeverhi, what does edk2 on k3 provide over uefi? afaik uboot also does uefi?08:19:26
@dramforever:matrix.orgdramforeverdoes edk2 on k3 have hdmi output?08:19:39
@dramforever:matrix.orgdramforever * 08:20:12

Show newer messages


Back to Room ListRoom Version: 10