AntoineSebert / dandelionLinks
π Microkernel Real-Time Operating System in Rust
β46Updated 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++β86Updated last week
- An aimless attempt at building a PC from scratch, in a vaguely eurorack/modular synth style.β68Updated 3 years ago
- A kernel written in Rustβ92Updated 7 months ago
- Abstractions common to microcontrollersβ123Updated 2 years ago
- A pure-Rust UEFI bootloaderβ30Updated 7 years ago
- Tiny C library written in Rustβ61Updated 8 months ago
- Operating system based off of blog_os, with the goal of running wasm modules as executablesβ24Updated 2 years ago
- A curated list of awesome things related to rustsbiβ41Updated 2 years ago
- Software bootloader for boards running Tock.β27Updated last year
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-Vβ197Updated 7 months ago
- A Raspberry Pi OS Kernel in Rustβ35Updated 9 months ago
- Rust support for seL4 userspaceβ162Updated last month
- Single-address-space capability-based nanokernelβ82Updated 3 weeks ago
- Embedded Rust's Peripheral Access Crate for BL808β118Updated 2 years ago
- Exit QEMU with user-defined codeβ48Updated 3 months ago
- Rust userland library for Tockβ181Updated last week
- Rust library for emulating RISC-V rv32imacβ22Updated 3 years ago
- Rust's hardware abstract layer (HAL) for K210 chip, a dual RV64GC SoC with hardware accelerated AI peripherals. Contributions welcomed!β71Updated last year
- Low level access to processors using the AArch64 execution state.β91Updated 8 months ago
- R3-OS β Experimental static (ΞΌITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation aβ¦β168Updated 2 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]β31Updated 5 years ago
- My hobby operating system microkernel written in Rustβ45Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.β118Updated 2 years ago
- Peripheral access API for Allwinner SoCs generated from unofficial SVD fileβ25Updated last week
- rustBoot is a standalone bootloader written entirely in `Rust`, designed to run on anything from a microcontroller to a system on chip. Iβ¦β268Updated 10 months ago
- A minimal Kernel written in Rustβ44Updated 9 months ago
- Board support package for the Longan Nano boardβ119Updated 8 months ago
- An Embedded Storage Abstraction Layerβ78Updated 8 months ago
- Rust, cargo and QEMU setup for multi-architecture OS development.β40Updated 4 years ago
- A lightweight, recoverable sandbox for executing untrusted RISC-V code in constrained environmentsβ52Updated 3 weeks ago