pincerOS / kernel

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

Alternatives and similar repositories for kernel:

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