Current status of genode golang port