A Cargo subcommand for working with feL4 projects. - View it on GitHub