| 13 Jun 2026 |
 hexa | is the relevant information imo | 23:06:59 |
| 14 Jun 2026 |
 dramforever | 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 | * 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 | relatedly, i heard the milkv titan finally shipped? | 09:20:10 |
| 15 Jun 2026 |
 liberodark | 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 | 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 |
| liberodark | 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 |
| dramforever | hi, what does edk2 on k3 provide over uefi? afaik uboot also does uefi? | 08:19:26 |
| dramforever | does edk2 on k3 have hdmi output? | 08:19:39 |
| dramforever | * | 08:20:12 |
| dramforever | sorry i meant "over u-boot", correctes | 08:20:21 |
| dramforever | * | 08:22:17 |
| liberodark | 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 |
| dramforever | well, i guess i think u-boot is pretty good and gives me better poking around capabilities. differing priorities i guess | 08:36:40 |
| liberodark | I'm not saying it's bad. ^^ | 08:38:30 |
| dramforever | mostly i just don't know what "complete uefi support" is supposed to mean | 14:46:08 |
| dramforever | uefi option roms on pcie cards? | 14:46:15 |
|  @hsngrmpf:matrix.org left the room. | 14:48:25 |
| liberodark | 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 |
| liberodark | * 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 |
| liberodark | * 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 |
| liberodark | PS: By the way, I forgot to ask my question: which SBC do you have ? dramforever | 17:36:00 |
| liberodark | Hi, radex
I'm just getting back to you because I don't know where you are with your K3.
But I should be receiving a similar model to yours.
Best Regards
| 17:50:39 |
 radex | yeah, I'm sorry I was silent, life got in my way. I didn't touch my K3 alas, I'll try to do that in the next couple of days, but I can't promise :( | 17:52:02 |
| liberodark | No worries, it's not meant that way.
I just meant that I might be able to save you some time, that's all. | 17:53:02 |
| radex | Much appreciated. | 17:53:41 |
| liberodark | But I won't be able to see it until this weekend. | 17:53:44 |
| 16 Jun 2026 |
 colemickens | anyone playing with the github runner riscv64 port and getting it on nixos/nixpkgs ? | 01:32:40 |
| colemickens | I might look at that now that my toplevel is cross-compiled thanks to liberodark's nixos-hardware PR. 🙏 | 01:33:01 |
| colemickens | (also curious if boot from NVME works with EDK2) | 01:33:33 |
