oxidecomputer / hubrisLinks
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
☆3,292Updated this week
Alternatives and similar repositories for hubris
Users that are interested in hubris are comparing it to the libraries listed below
Sorting:
- A secure embedded operating system for microcontrollers☆6,044Updated this week
- Debugger for Hubris☆559Updated last week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,057Updated last year
- Hermit for Rust.☆1,836Updated this week
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆2,142Updated last week
- a smol tcp/ip stack☆4,218Updated 2 weeks ago
- A wee async RTOS for Cortex-M☆792Updated last month
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,410Updated 6 months ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,476Updated last week
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,411Updated last week
- Modern embedded framework, using Rust and async.☆7,627Updated last week
- Discover the world of microcontrollers through Rust!☆1,566Updated 3 months ago
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,412Updated this week
- a debugger for async rust!☆4,262Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,540Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,732Updated 3 weeks ago
- Write expressive, high-performance parsers with ease.☆4,276Updated last week
- A small and fast async runtime for Rust☆4,563Updated 3 weeks ago
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,239Updated 3 months ago
- GCC Front-End for Rust☆2,734Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,574Updated this week
- Create ridiculously fast Lexers☆3,298Updated 3 weeks ago
- the champagne of beta embedded databases☆8,746Updated 5 months ago
- Command-line sampling profiler for macOS, Linux, and Windows☆3,510Updated this week
- Kani Rust Verifier☆2,712Updated last week
- Rhai - An embedded scripting language for Rust.☆4,949Updated this week
- Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…☆6,682Updated this week
- A Rust-based, lightweight unikernel.☆1,358Updated this week
- Coordination repository of the embedded devices Working Group☆2,082Updated last week
- The Rust Performance Book☆2,515Updated 3 weeks ago