Rust support for seL4 userspace
☆221Oct 30, 2026Updated this week
Alternatives and similar repositories for rust-sel4
Users that are interested in rust-sel4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Microkit - A simple operating system framework for the seL4 microkernel☆212Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆284Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆73Updated this week
- A virtual machine monitor for the seL4 microkernel☆84Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple operating system (SOS) built on top of the seL4 microkernel☆12Mar 3, 2018Updated 8 years ago
- seL4 specification and proofs☆658Updated this week
- Lightweight type-1 Rust Hypervisor for edge devices☆212Updated this week
- The seL4 microkernel☆5,849Updated this week
- ☆24Updated this week
- A generated thin wrapper around libsel4.a, with supporting subcrates.☆13Jan 24, 2022Updated 4 years ago
- A memory allocator verified with Verus☆41Oct 25, 2026Updated last week
- Simple and fast async channels☆18Oct 26, 2026Updated last week
- Verified Rust for low-level systems code☆3,529Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Nix tooling for the seL4 microkernel & ecosystem☆21Aug 7, 2026Updated 2 months ago
- A new take on facet-reflect☆14Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆62Updated this week
- Cerberus C semantics☆103Updated this week
- Neptune OS: A Windows NT-like operating system built on the seL4 microkernel☆483Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Updated this week
- This is the source of the seL4 docs.☆19Updated this week
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- Creusot helps you prove your Rust code is correct.☆1,952Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Ferrocene's toolchain manager.☆29Oct 21, 2026Updated last week
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- sel4 benchmarking applications and support library.☆25Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,826Updated this week
- A Rust library for the Linux Landlock sandboxing feature☆323Oct 21, 2026Updated last week
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Oct 2, 2017Updated 9 years ago
- The Xous microkernel☆1,002Updated this week
- Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.☆5,054Updated this week
- VirtIO guest drivers in Rust.☆319Oct 20, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CN separation logic refinement type system for C☆63Updated this week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- A Cargo subcommand for working with feL4 projects.☆51Jun 5, 2018Updated 8 years ago
- Efficient, deferred formatting for logging on embedded systems☆1,241Updated this week
- ☆13May 26, 2025Updated last year
- A pointer type for heap-allocated objects which heap storage can be re-used☆15Sep 8, 2024Updated 2 years ago
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 4 years ago