https://genode.org/ · https://github.com/genodelabs/genode · https://genodians.org · https://genode.org/community/mailing-lists · cnuke's HCL http://usr.sysret.de/jws/genode/hcl.html · Developers are on european time · Please put your question to the mailing list if there is no timely answer