how to debug gdb?

[Sid Hussmann]

Hi Tomasz,

to debug pthreads it might be worth considering running the scenario on 
base-linux and attach gdb directly [1]. Even though the ssh run-scripts 
currently don't support base-linux, I'm pretty sure there is nothing 
substantial that prevents us doing so, as fork/execve are now supported 
in linux as well. Maybe all you need to do is change nic_drv and rtc_drv 
with the linux counterparts and add `ld="no"` to their start nodes.

[1] https://genodians.org/ssumpf/2019-04-26-java-gdb

Best,
Sid


-- 
Sid Hussmann
CTO & Founder
gapfruit AG
Baarerstrasse 135
6300 Zug - Switzerland
sid.hussmann at gapfruit.com
https://gapfruit.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0x4BC4E441F1068163.asc
Type: application/pgp-keys
Size: 8509 bytes
Desc: OpenPGP public key
URL: <http://lists.genode.org/pipermail/users/attachments/20210511/9b7b41b7/attachment.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20210511/9b7b41b7/attachment.sig>