AntoineSebert / dandelionLinks
🌀 Microkernel Real-Time Operating System in Rust
☆45Updated 2 years ago
Alternatives and similar repositories for dandelion
Users that are interested in dandelion are comparing it to the libraries listed below
Sorting:
- Userland apps for Tock written in C and C++☆88Updated last week
- A kernel written in Rust☆92Updated last year
- Tiny C library written in Rust☆65Updated this week
- Single-address-space capability-based nanokernel☆86Updated this week
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆24Updated 2 years ago
- An aimless attempt at building a PC from scratch, in a vaguely eurorack/modular synth style.☆69Updated 3 years ago
- A pure-Rust UEFI bootloader☆30Updated 7 years ago
- Abstractions common to microcontrollers☆124Updated 3 years ago
- My hobby operating system microkernel written in Rust☆45Updated 3 months ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆41Updated 5 years ago
- A Raspberry Pi OS Kernel in Rust☆37Updated last year
- Embedded Rust's Peripheral Access Crate for BL808☆118Updated 2 years ago
- A L4-like micro-kernel OS written in Rust☆67Updated 2 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Updated last year
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆32Updated 5 years ago
- Low level access to processors using the AArch64 execution state.☆103Updated 3 weeks ago
- The Hermit bootloader.☆81Updated 3 weeks ago
- HAL for GD32VF103 microcontrollers☆56Updated 2 months ago
- Low level access to Cortex-A processors☆122Updated 3 years ago
- Board support package for the Longan Nano board☆119Updated last year
- Rust support for seL4 userspace☆179Updated last month
- R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics☆170Updated 2 years ago
- ☆52Updated last month
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago
- A multicore OS for learning, written in Rust☆25Updated 4 years ago
- Ergonomic Rust framework for writing UEFI applications.☆70Updated 11 months ago
- A curated list of awesome things related to rustsbi☆43Updated 3 years ago
- The Rust Embedded WG Blog☆76Updated 4 months ago
- ☆37Updated 2 years ago
- Rust library for parsing ACPI tables and interpreting AML☆230Updated 2 months ago