| *** tpb has joined #tomu | 00:00 | |
| *** TheJJ has quit IRC | 01:24 | |
| *** TheJJ has joined #tomu | 01:25 | |
| xobs | mithro: Interesting. The way the svd2rust crate does it is using `Option::take()` which doesn't use any extra memory (since storing a pointer in an `Option<T>` takes no extra space because pointers can't be NULL). | 02:01 |
|---|---|---|
| xobs | The approach they take wouldn't work on Fomu because Fomu is `rv32i` and not `rv32ia` (no Atomic instructions, and therefore no `AtomicBool`). However, that would work on Tomu, and on Betrusted as well. | 02:02 |
| *** CarlFK has quit IRC | 03:58 | |
| *** CarlFK has joined #tomu | 04:00 | |
| tnt | xobs: on a single core rv32i can't you just disable interrupt to emulate atomics ? | 04:20 |
| xobs | tnt: You can, and I believe the vexriscv does something similar in its HDL. | 04:22 |
| xobs | The problem is that the spec for `riscv32i-unknown-none-elf` has `atomic_cas: false`: https://github.com/rust-lang/rust/blob/master/compiler/rustc_target/src/spec/riscv32i_unknown_none_elf.rs#L21 | 04:24 |
| tpb | Title: rust/riscv32i_unknown_none_elf.rs at master · rust-lang/rust · GitHub (at github.com) | 04:24 |
| xobs | Which means there is no `AtomicBool` struct at all. | 04:24 |
| *** W1lkins has quit IRC | 04:53 | |
| *** W1lkins has joined #tomu | 04:54 | |
| *** unlobito has quit IRC | 04:54 | |
| *** unlobito has joined #tomu | 04:54 | |
| *** wrtlprnft has quit IRC | 08:08 | |
| *** wrtlprnft has joined #tomu | 08:08 | |
| *** CarlFK has quit IRC | 14:47 | |
| *** im-tomu has left #tomu | 14:49 | |
| *** im-tomu has joined #tomu | 14:50 | |
| *** CarlFK has joined #tomu | 15:58 | |
| *** AnimaInvicta has joined #tomu | 16:56 | |
| CarlFK | hey usb experts... if I hook tx to rx, can I do loop back? like send data, get data, which will confirm that path is working. | 20:55 |
| tnt | usb doesn't have tx / rx ... | 21:02 |
| CarlFK | welp, so much for that idea | 21:09 |
| *** AnimaInvicta has left #tomu | 22:05 | |
| *** CarlFK has quit IRC | 23:41 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!