High-level repo containing manifest and recipes for building seL4 with camkes (+vm) and Rust support - View it on GitHub