GitHub repository: pincerOS/kernel
Primary language: Rust
Description: Bare metal microkernel-based multi-core operating system written in Rust for the Raspberry Pi 4b