pincerOS / kernel

Bare metal microkernel-based multi-core operating system written in Rust for the Raspberry Pi 4b
12Updated this week

Alternatives and similar repositories for kernel:

Users that are interested in kernel are comparing it to the libraries listed below