sigaltstack support with kernel seL4
Alexander Tormasov
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 [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] https://github.com/genodelabs/genode/issues/3478
> [2] https://github.com/genodelabs/genode/issues/3481
>
> Greets
> --
> 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
> https://lists.genode.org/listinfo/users
More information about the users
mailing list