I checked sel4 kernel and my golang port - it works! I need to enlarge number of capabilities (to 200) and size of vm (1400M at least).
And, it can’t exit normally, seems that atexit() do not finish all threads correctly (some of them instead of termination try to access memory to process the signals, while this memory are already released).
It works with the same limitations as for nova. It able to run with 2 CPU (but give some error messages about signal), not able to run with 4 CPU. Seems that the problem is in signal handling (probably my removal of sigaltstack() sys call make a problem).
so, in this moment I can confirm work of simple test for golang on genode 20.05 1 CPU x86 for nova and sel4 kernels.
3 авг. 2020 г., в 03:25, Alexander Tormasov via users users@lists.genode.org написал(а):
I make some very rough port of golang runtime to genode (mostly for nova), https://github.com/tor-m6/genode.git This work is a side result of one of research project made in Innopolis University.