[GSoC] Rust bindings for the Genode API