This has a hello world with main() written in C linked to picolibc and hardware drivers written in Rust