moveit VS xous-core

You can also see https://github.com/google/moveit as a crate for solving problems like this right now, with this conference talk from the author.

There's actually a direct mention of that in my post already, but it's all the way near the bottom in the "Weakening non-moveability" section. It probably goes a bit too far to link in the intro, so I inlined a quick definition as relative clause there instead.

The `moveit` library is interesting also because it would allow pinning containers to expose a wider mutable API, though there's currently no trait to update instances post-move, which would allow `realloc` use. I filed an issue for it about a week ago: https://github.com/google/moveit/issues/26

That still leaves the issue of callback targets though, which would have to be notified before a possible move to support one-step reallocation.

Xous, the OS that runs on the precursor, may be of interest to look at too:

https://github.com/betrusted-io/xous-core

It is written in Rust and is targeted for a RISC-V

In addition to phil-opp and redox, there's the Betrusted project's Xous kernel, which runs on a RISC-V core that runs on an FPGA. There's even an Xous Book.

You might be interested in Precursor and the Betrusted Platform.

https://www.crowdsupply.com/sutajio-kosagi/precursor

They are trying to have an hardware platform that can be inspected and it is based on an FPGA with a RISC-V Softcore.

Its by Bunnie, and he great talks about the choices and why he made them:

Keynote: Precursor - Trustable Open Hardware for Everyday Use - Bunnie Huang (https://www.youtube.com/watch?v=Fw5FEuGRrLE)

They are also doing their own Rust Message passing OS called Xous that might be of interest.

https://github.com/betrusted-io/xous-core

As for privacy and safety of people, https://github.com/betrusted-io/xous-core/issues/57 way past 1.0. Imagine that. Heh.

There are more good efforts, the BeTrusted guys are working on Xous, its a microkernel for a phone like device called the Precurser.

https://github.com/betrusted-io/xous-core

As a embedded service processor OS for a big server rack, Oxide Computer is working on 'HubrisOS'. They seem to have not released it yet, but that will be open sourced.

https://github.com/oxidecomputer

Those are two efforts where I know real resources are going into.