Building seL4 and generating Rust bindings based on feL4 configuration - View it on GitHub