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++β87Updated last month
- Single-address-space capability-based nanokernelβ84Updated this week
- Tiny C library written in Rustβ61Updated 10 months ago
- Abstractions common to microcontrollersβ123Updated 3 years ago
- A kernel written in Rustβ92Updated 10 months ago
- A Raspberry Pi OS Kernel in Rustβ36Updated last year
- LeOS operating system Kernel for AArch64 written in Rustβ82Updated 5 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executablesβ24Updated 2 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-Vβ198Updated 9 months ago
- A pure-Rust UEFI bootloaderβ30Updated 7 years ago
- Rust support for seL4 userspaceβ170Updated last month
- Rust's hardware abstract layer (HAL) for K210 chip, a dual RV64GC SoC with hardware accelerated AI peripherals. Contributions welcomed!β71Updated last year
- Embedded Rust Peripheral Access Crate for Bouffalo chipsβ48Updated 2 years ago
- HAL for GD32VF103 microcontrollersβ56Updated 3 weeks ago
- A curated list of awesome things related to rustsbiβ43Updated 3 years ago
- Low level access to processors using the AArch64 execution state.β96Updated this week
- An aimless attempt at building a PC from scratch, in a vaguely eurorack/modular synth style.β68Updated 3 years ago
- Low level access to Cortex-A processorsβ120Updated 2 years ago
- Embedded Rust's Peripheral Access Crate for BL808β118Updated 2 years ago
- Board support package for the Longan Nano boardβ119Updated 10 months ago
- Software bootloader for boards running Tock.β27Updated last year
- My hobby operating system microkernel written in Rustβ45Updated last month
- A template for building Rust applications for HiFive1 boardsβ218Updated 2 years ago
- The Hermit bootloader.β79Updated last week
- Peripheral access API for Allwinner SoCs generated from unofficial SVD fileβ25Updated last month
- β51Updated last month
- A L4-like micro-kernel OS written in Rustβ66Updated last year
- Hardware abstract layer (HAL) `embedded-hal` for RISC-V microcontroller GD32VF103 in Rust. Contributions welcomed!β64Updated 3 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.β117Updated 2 years ago
- R3-OS β Experimental static (ΞΌITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation aβ¦β169Updated 2 years ago