| 23 Dec 2023 |
 zrsk | Anyway I need this sooner than 6 months unluckily (using binfmt is acceptable for my needs, just a bit painful) | 18:15:05 |
 raitobezarius (DECT 2128) | MilkV | 18:15:03 |
| raitobezarius (DECT 2128) | as for the model name | 18:15:07 |
| raitobezarius (DECT 2128) | Then you can buy the MilkV | 18:15:18 |
| raitobezarius (DECT 2128) | But you will have some real world troubles I would expect | 18:15:25 |
| raitobezarius (DECT 2128) | But if binfmt speed is acceptable, I suppose anything native is acceptable | 18:15:36 |
| zrsk | It's acceptable now that I found that cache ahah
Anyway I need this because I was trying to integrate Nix to a project where applications are executed as docker containers in a RISC-V deterministic VM. I'm not interested into running things on real RISC-V hardware because at the end they will not anyway, I just want to not get old in the meanwhile | 18:18:42 |
| raitobezarius (DECT 2128) | Is it RISC-0 stuff? | 18:19:09 |
| zrsk | I had no idea what RISC-0 was until now. It's a blockchain project that uses these virtual machines to run arbitrary ("arbitrary", they have to correctly build on RISC-V, not always easy) linux programs and interact with them from smart contracts (ethereum) | 18:31:11 |
| raitobezarius (DECT 2128) | Yeah I thought I was inferring that the RISC-V deterministic VM was the RISC-0 virtual machine | 18:31:49 |
| zrsk | Just out of curiosity: these RISC-0 VMs allow emulates multiple processors? I've no idea what this other project I'm working uses under the hood, I believe something custom. But I know it has the big limitation that the VM is single core. | 18:33:43 |
| zrsk | * Just out of curiosity: these RISC-0 VMs allow emulating multiple processors? I've no idea what this other project I'm working uses under the hood, I believe something custom. But I know it has the big limitation that the VM is single core. | 18:33:54 |
| zrsk | * Just out of curiosity: these RISC-0 VMs allow emulating multiple processors? I've no idea what this other project I'm working on uses under the hood, I believe something custom. But I know it has the big limitation that the VM is single core. | 18:34:01 |
| zrsk | * Just out of curiosity: these RISC-0 VMs allow emulating multiple processors? I've no idea what this project I'm working on uses under the hood, I believe something custom. But I know it has the big limitation that the VM is single core. | 18:34:06 |
| raitobezarius (DECT 2128) | No idea | 18:35:48 |
| raitobezarius (DECT 2128) | I'm not a RISC-0 person | 18:35:58 |
| raitobezarius (DECT 2128) | I suppose you cannot really have determinism with SMP though | 18:36:10 |
| zrsk | In reply to @raitobezarius:matrix.org
I suppose you cannot really have determinism with SMP though even if it's emulated? (don't know anything about this topic) | 18:45:24 |
| raitobezarius (DECT 2128) | I don't know what you mean by emulated or see how it is relevant here | 18:45:50 |
| raitobezarius (DECT 2128) | But if you linearize all the executions, then, yes, SMP can be deterministic | 18:46:05 |
| raitobezarius (DECT 2128) | But it's not really SMP | 18:46:12 |
| zrsk | anyway if someone wants to satisfy my curiosity and try to build a random derivation (I don't know, nix or hello maybe?) on an SBC and give me the time it takes (just the order of magnitude is enough) I would be grateful | 18:48:35 |
| zrsk | In reply to @raitobezarius:matrix.org
I don't know what you mean by emulated or see how it is relevant here Yeah don't worry, I've no really idea what I'm talking about probably. Thank you very much however :) | 18:49:21 |
| zrsk | Anyway I don't know if somebody already tried it but building RISC-V docker images with dockerTools.buildImage worked like a charm. I was impressed (as always) by Nix. | 18:53:35 |
 fgaz | In reply to @aciceri:nixos.dev
anyway if someone wants to satisfy my curiosity and try to build a random derivation (I don't know, nix or hello maybe?) on an SBC and give me the time it takes (just the order of magnitude is enough) I would be grateful
- hello: 2m dominated by configure, likely faster on nvme
- nix: I started the build, I'll let you know tomorrow
| 20:52:00 |
| fgaz | *
- hello: 2m dominated by configure, likely faster on nvme (I'm using mmc)
- nix: I started the build, I'll let you know tomorrow
| 20:54:37 |
| fgaz |
- It takes 3 days to build https://sr.ht/~fgaz/nixos-star64
| 21:20:29 |
| raitobezarius (DECT 2128) changed their display name from raitobezarius to raitobezarius (DECT 2128). | 22:22:30 |
| zrsk |
I'll let you know tomorrow
Not the best premises lol
Just tried hello and it takes 136s for me, probably using a Star64 as a builder is not worth it. In my case the disk speed wasn't the bottleneck surely (it's a fast nvme).
| 23:45:53 |
| zrsk | *
I'll let you know tomorrow
Not the best premises lol
Just tried hello and it takes 136s for me, probably using a Star64 as a builder is not worth it. In my case the disk speed wasn't the bottleneck surely (it's a fast nvme).
| 23:45:57 |
