Re: signal() genode support