seL4 / rust-sel4Links
Rust support for seL4 userspace
☆156Updated last week
Alternatives and similar repositories for rust-sel4
Users that are interested in rust-sel4 are comparing it to the libraries listed below
Sorting:
- The Hermit bootloader.☆76Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆119Updated last week
- Stack unwinding library in Rust☆120Updated last month
- A specialized hypervisor for Hermit.☆263Updated this week
- Tiny C library written in Rust☆58Updated 6 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆115Updated last year
- Low level access to processors using the AArch64 execution state.☆83Updated 6 months ago
- Exit QEMU with user-defined code☆48Updated last month
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆196Updated 4 months ago
- RISC-V hypervisor written in Rust☆359Updated 5 years ago
- Lints for kernel or embedded system development.☆108Updated last week
- RISC-V OS written in Rust☆140Updated 11 months ago
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆166Updated 2 years ago
- VirtIO guest drivers in Rust.☆261Updated 2 weeks ago
- A VMM implementation based of rust-vmm components☆152Updated 8 months ago
- A kernel written in Rust☆93Updated 5 months ago
- Rust crate for Flattened Devicetree parsing☆48Updated 4 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- Rust, cargo and QEMU setup for multi-architecture OS development.☆39Updated 4 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆23Updated 2 years ago
- Useful types for dealing with PCI☆33Updated 7 months ago
- An implementation of libc written in Rust☆290Updated last month
- ☆86Updated 11 months ago
- A template for building Rust applications for HiFive1 boards☆213Updated 2 years ago
- Rust-based Unikernel☆126Updated last year
- Low level access to Cortex-A processors☆120Updated 2 years ago
- Linux kernel loader☆197Updated last week
- ☆141Updated 6 months ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆32Updated 10 months ago