> 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.