libc and Genode signal handlers, RPC