!xmLtiCaAJxfhURjrXl:matrix.org

NixOS RISC-V

247 Members
NixOS on RISC-V https://wiki.nixos.org/wiki/RISC-V https://pad.lassul.us/NixOS-riscv64-linux 75 Servers

Load older messages


SenderMessageTime
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
@dramforever:matrix.orgdramforeversorry i meant "over u-boot", correctes08:20:21
@dramforever:matrix.orgdramforever * 08:22:17
@liberodark:matrix.orgliberodarkHi, I prefer EDK2 for complet UEFI support. This is also the choice of spacemit. But for HDMI I'm not sure. I think it's fine. But I don't want to say something wrong; normally for the K1 and K3 I had everything working. I just don't want to mix things up with the K1, so I'd rather double-check and confirm. I'm waiting for my new K3 to validate this for you Best Regards08:27:07
@dramforever:matrix.orgdramforeverwell, i guess i think u-boot is pretty good and gives me better poking around capabilities. differing priorities i guess08:36:40
@liberodark:matrix.orgliberodarkI'm not saying it's bad. ^^08:38:30

Show newer messages


Back to Room ListRoom Version: 10