There are 1 repository under rust-bare-metal topic.
Bare metal Pine A64 / PinePhone Rust crates
Raspberry Pi 4B - Rust OS Kernel