Re: [GSoC] Rust bindings for the Genode API