headcrab
xous-core
headcrab | xous-core | |
---|---|---|
3 | 12 | |
878 | 509 | |
0.0% | 1.8% | |
0.0 | 9.9 | |
almost 2 years ago | about 21 hours ago | |
Rust | Rust | |
GNU General Public License v3.0 or later | 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.
headcrab
-
Kerla: Monolithic kernel in Rust, aiming for Linux ABI compatibility
I just meant that even big projects posted here in the past like the Headcrab debugger: https://github.com/headcrab-rs/headcrab have been seemingly abandoned now.
Even Rocket https://github.com/SergioBenitez/Rocket seems to have greatly slowed development unfortunately.
-
Attach VSCode's debugger to debug Rust inside an Electron app
I remember an attempt at rust native debugging in the form of headcrab
-
what is the status of the debugger?
There was an [ambitious project headcrab](https://github.com/headcrab-rs/headcrab/issues/132), which unfortunately looks abandoned [last commit 2020/11].
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?
smoltcp - a smol tcp/ip stack
pico-bootrom
udbg - Cross-platform library for binary debugging and memory hacking written in Rust
NoProto - Flexible, Fast & Compact Serialization with RPC
tock - A secure embedded operating system for microcontrollers
carnet - A Tool for Sandboxing Cargo and Buildscripts
kerla - A new operating system kernel with Linux binary compatibility written in Rust.
osv - OSv, a new operating system for the cloud.
oxide-and-friends - Show notes from Oxide and Friends recordings
kerla-demo - ssh://demo.kerla.dev
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.