betrusted-io / xous-core
The Xous microkernel
☆554Updated this week
Alternatives and similar repositories for xous-core:
Users that are interested in xous-core are comparing it to the libraries listed below
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆111Updated last year
- RISC-V hypervisor written in Rust☆353Updated 5 years ago
- A wee async RTOS for Cortex-M☆744Updated 3 months ago
- Debugger for Hubris☆538Updated last week
- xv6 OS☆238Updated 2 months ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,623Updated this week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆193Updated last month
- A template for building Rust applications for HiFive1 boards☆212Updated last year
- An Operating System for Building Small Computers☆270Updated 3 weeks ago
- The core crate for Drone, an Embedded Operating System.☆480Updated last year
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆298Updated 5 years ago
- 🍄 an alleged 'operating system'☆581Updated last week
- Ferrocene Language Specification☆402Updated this week
- How to bootstrap support for a no_std target☆209Updated 10 months ago
- Hermit for Rust.☆1,724Updated this week
- Rust support for seL4 userspace☆129Updated 2 months ago
- RISC-V processor emulator written in Rust+WASM☆646Updated last year
- The R9 operating system☆538Updated 3 weeks ago
- Safety-critical applications oriented Real-Time Operating System written in Rust☆287Updated last year
- The Adventures of OS☆534Updated 2 years ago
- Low level access to RISC-V processors☆898Updated this week