sigaltstack support with kernel seL4

Christian Helmuth christian.helmuth at
Thu Aug 22 07:58:37 CEST 2019


On Wed, Aug 21, 2019 at 23:21:07 CEST, Alexander Tormasov via users wrote:
> Do Genode (in particular, on seL4 kernel) support sigaltstack function?
> I found its description in signal.h while it is unresolved during linking, and my search in libs did not give any results.
> As I understand, it should be in libc?
> I found it in depot/genodelabs/api/libc/2019-07-08/include/libc/signal.h
> While no references to function body…

The C header file you reference is the original file from the FreeBSD
libc port. While we keep the API files unchanged our port of the libc
does not support all functionality provided by the original FreeBSD
implementation. Unfortunately, signal handling is one prominent
example where our runtime provides only rudimentary support currently.
Also, this support is limited to Noux and does not extend to native
components using the LibC.

Norman Feske is working heavily on our POSIX runtime [1] [2]. This
work also comprises the libc signal-handling support but no promises
when it will be finished.

May I ask for more details about your use case?


Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list