Bare-Metal Raspberry Pi Kernel in Rust