Hello, I created a new issue for this problem in our bug tracker (https://github.com/genodelabs/genode/issues/355), including a patch: https://github.com/cproc/genode/commit/d44104bfbaf12e2c1b0500a101a56e6c5f0e0dff.patch Christian