Files
genode/repos/base-hw/include/signal_session