genode/repos/os/include/uplink_session
..
capability.h
client.h
connection.h
rpc_object.h
uplink_session.h