sigaltstack support with kernel seL4
a.tormasov at innopolis.ru
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  . 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?
>  https://github.com/genodelabs/genode/issues/3478
>  https://github.com/genodelabs/genode/issues/3481
> Christian Helmuth
> Genode Labs
> https://www.genode-labs.com/ · https://genode.org/
> https://twitter.com/GenodeLabs · /ˈ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 lists.genode.org
More information about the users