On 10/22/19 10:51 AM, Duss Pirmin wrote:
Hi
I have created a small example in genode-world that demonstrates the issue [1].
[1] https://github.com/trimpim/genode-world/commit/2df29ffad0fff8ec0edb257d693dd...
Regards, Pirmin
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
See: https://github.com/genodelabs/genode-world/issues/192
Thx, Sebastian