PS: Btw. the GPIO session interface was rewritten entirely. The changes are now laying in the staging branch of the official Genode repository, but will migrate to master probably soon. The new interface allow for
The change has arrived at genodelabs/master now.