AntoineSebert / dandelion
🌀 Microkernel Real-Time Operating System in Rust
☆25Updated last year
Related projects: ⓘ
- RISC-V Assembler☆17Updated 10 months ago
- Single-address-space capability-based nanokernel☆74Updated this week
- A minimal Kernel written in Rust☆43Updated last month
- Tiny C library written in Rust☆50Updated 3 weeks ago
- A kernel written in Rust☆89Updated last year
- My hobby operating system microkernel written in Rust☆41Updated last year
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆29Updated 4 years ago
- Rust library for emulating RISC-V rv32imac☆20Updated 2 years ago
- Volatile access to memory mapped hardware registers☆34Updated 10 months ago
- ☆29Updated last year
- A Raspberry Pi OS Kernel in Rust☆32Updated 2 years ago
- A Rust VGA Framebuffer implementation for embedded micros☆31Updated 4 years ago
- A RISC-V simulator implementing RV32G[C].☆34Updated last year
- Unified interface for type-safe MMIO and CPU register access in Rust☆46Updated 3 years ago
- Abstractions common to microcontrollers☆114Updated 2 years ago
- Backtrace support for Rust `no_std` and embedded programs.☆45Updated last year
- A multicore OS for learning, written in Rust☆24Updated 3 years ago
- Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/☆87Updated last year
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆106Updated last year
- Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.☆27Updated 2 weeks ago
- Userland apps for Tock written in C and C++☆78Updated this week
- Rust support for seL4 userspace☆111Updated last month
- Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree.☆68Updated last month
- Low level API definition of a Mutex☆25Updated 4 years ago
- ✨ a microkernel in Rust☆37Updated 2 years ago
- Initialization code ("crt0") written in Rust☆69Updated 3 years ago
- WIP Port of Rust's std to Minix☆43Updated 4 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆68Updated 2 years ago
- RISC-V OS written in Rust☆137Updated 3 months ago
- Simple RISC-V emulator presented at Rust Nation 2023☆61Updated last year