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…
Hi,
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?
[1] https://github.com/genodelabs/genode/issues/3478 [2] https://github.com/genodelabs/genode/issues/3481
Greets
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@lists.genode.org https://lists.genode.org/listinfo/users
-
Alexander Tormasov -
Christian Helmuth