Show HN: Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel

feL4 developer here. Happy to field questions, and to note that we'll keep introducing and extending the ergonomics for building complex applications, configuring platforms, and adding hardware support in the coming weeks/months.