sigaltstack support with kernel seL4

Alexander Tormasov a.tormasov at
Thu Aug 22 10:03:51 CEST 2019

Thank you for clarification!
I am trying to run on combination of Genode/seL4 (this is not my choice) some Golang code (using gccgo from your tools).
To make this I need to port libgo from gcc distro. I made some quick dirt porting and now try to link simple code “hello world” with fmt package

Now I have some unresolved externals - among them the mentioned below function.

If it is not available than I will try to reconfigure libgo to get rid out if it, hopefully 

> 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?
> [1]
> [2]
> Greets
> -- 
> 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
> _______________________________________________
> Genode users mailing list
> users at

More information about the users mailing list