A prototype embedded operating system written in Rust - garasubo/erkos