NixOS RISC-V | 240 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 | 70 Servers |
| Sender | Message | Time |
|---|---|---|
| 13 Jun 2026 | ||
| 21:22:02 | ||
| So who has or is getting a Jupiter 2? 👀 | 21:49:08 | |
| maybe 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 | |
| oh hi I recognize this username https://github.com/NixOS/nixos-hardware/pull/1898 | 21:50:16 | |
| 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 | |
| https://forge.fedoraproject.org/riscv/planning/issues/17 | 22:46:28 | |
| https://forge.fedoraproject.org/riscv/planning/issues/23 | 22:46:35 | |
| 23:06:53 | |
| is the relevant information imo | 23:06:59 | |
| 14 Jun 2026 | ||
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 | |
* 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 | |
| relatedly, i heard the milkv titan finally shipped? | 09:20:10 | |
| 15 Jun 2026 | ||
| Hi, Oh, thanks for taking an interest in my work!
Best Regards | 07:54:19 | |
| PS: 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 | |
| My 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 | |
| hi, what does edk2 on k3 provide over uefi? afaik uboot also does uefi? | 08:19:26 | |
| does edk2 on k3 have hdmi output? | 08:19:39 | |
| * | 08:20:12 | |
| sorry i meant "over u-boot", correctes | 08:20:21 | |
| * | 08:22:17 | |
| Hi, 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 Regards | 08:27:07 | |
| well, i guess i think u-boot is pretty good and gives me better poking around capabilities. differing priorities i guess | 08:36:40 | |
| I'm not saying it's bad. ^^ | 08:38:30 | |
| mostly i just don't know what "complete uefi support" is supposed to mean | 14:46:08 | |
| uefi option roms on pcie cards? | 14:46:15 | |
| 14:48:25 | ||
| I'm not sure I understand either, I think we may not be talking about the same thing. Maybe my point isn't clear enough. But EDK2 support seemed more obvious to me than U-Boot's for UEFI. Mainly because, as I said, it's the one already in use. Now, on the question of full UEFI support, I think we could be talking about a misuse of terms, even though from memory the two aren't at the same level. Furthermore, I was mainly referring to its already active integration on the K3. And as for Option ROMs on PCIe cards the support is there in the firmware (the platform includes PciBusDxe), but that's not what I was referring to. | 17:10:54 | |
| * Hi, I'm not sure I understand either, I think we may not be talking about the same thing. Maybe my point isn't clear enough. But EDK2 support seemed more obvious to me than U-Boot's for UEFI. Mainly because, as I said, it's the one already in use. Now, on the question of full UEFI support, I think we could be talking about a misuse of terms, even though from memory the two aren't at the same level. Furthermore, I was mainly referring to its already active integration on the K3. And as for Option ROMs on PCIe cards the support is there in the firmware (the platform includes PciBusDxe), but that's not what I was referring to. Best Regards | 17:11:10 | |
| * Hi, I'm not sure I understand either, I think we may not be talking about the same thing. Maybe my point isn't clear enough. But EDK2 support seemed more obvious to me than U-Boot for UEFI. Mainly because, as I said, it's the one already in use. Now, on the question of full UEFI support, I think we could be talking about a misuse of terms, even though from memory the two aren't at the same level. Furthermore, I was mainly referring to its already active integration on the K3. And as for Option ROMs on PCIe cards the support is there in the firmware (the platform includes PciBusDxe), but that's not what I was referring to. Best Regards | 17:32:15 | |
| PS: By the way, I forgot to ask my question: which SBC do you have ? dramforever | 17:36:00 | |