oxide-and-friends
xous-core
oxide-and-friends | xous-core | |
---|---|---|
8 | 12 | |
296 | 509 | |
1.4% | 1.8% | |
8.3 | 9.9 | |
26 days ago | about 9 hours ago | |
Rust | Rust | |
Creative Commons Attribution 4.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
oxide-and-friends
-
Persistent Democracy: a better way to govern foundations and open source projects?
After listening to the Oxide and Friends episode about the Rust trademark dustup I thought some people in the Rust community might be interested in a concept I've been working on for a while called Persistent Democracy.
- Oxide and Friends: Predictions 2023
- Predictions 2022
- Oxide Builds Servers
-
Oxide at Home: Propolis Says Hello
They've been doing Twitter Spaces for several months now, with recordings and show notes here: https://github.com/oxidecomputer/twitter-spaces Disclosure: I was the main speaker on one of their spaces.
-
Apple and NeXT, 25 Years Ago this week
For anyone interested in the history of NeXT, I highly recommend Randall Stross's "Steve Jobs and the NeXT Big Thing."[0] (And I regret that I may have personally had some role in the current outsized prices of used copies -- my apologies!) We also had a really interesting Twitter Spaces discussion of both the book -- and on NeXT more generally.[1]
[0] https://www.goodreads.com/en/book/show/226316.Steve_Jobs_the...
[1] https://github.com/oxidecomputer/twitter-spaces/blob/master/...
-
Kerla: Monolithic kernel in Rust, aiming for Linux ABI compatibility
Also, where are my manners?! Really glad you're enjoying our Twitter Spaces[0] -- and thank you for the kind words!
[0] https://github.com/oxidecomputer/twitter-spaces
- Rust, Wright's Law, and the Future of Low-Latency Systems
xous-core
- Rust 1.72 seems to optimize away security checks
-
Writing an OS in Rust to run on RISC-V
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
-
Is there any reliable guide for creating an operating system in Rust?
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.
- How can I call cargo commands from rust?
-
Another Vulnerability in the LPC55S69 ROM
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
-
C Isn't A Programming Language Anymore - Faultlore
As for privacy and safety of people, https://github.com/betrusted-io/xous-core/issues/57 way past 1.0. Imagine that. Heh.
-
Kerla: Monolithic kernel in Rust, aiming for Linux ABI compatibility
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.
- Xous: Secure Microkernel in Rust
- xous: Secure microkernel in Rust
What are some alternatives?
fontdue - The fastest font renderer in the world, written in pure rust.
pico-bootrom
headcrab - A modern Rust debugging library 🦀
NoProto - Flexible, Fast & Compact Serialization with RPC
hubris - A dependently typed programming language, and verification tool
manta - Manta is a scalable HTTP-based object store
carnet - A Tool for Sandboxing Cargo and Buildscripts
omicron - Omicron: Oxide control plane
osv - OSv, a new operating system for the cloud.
smoltcp - a smol tcp/ip stack
kerla-demo - ssh://demo.kerla.dev