Hi Rumen,

I could reproduce the problem with the published 23.05 binary tool chain, but it
works for me with a more recent version built from source with the 'tool/tool_chain'
script, which includes some GDB fixes added since 23.05. Could you give that a try?

Christian

On 04.07.24 11:11, Rumen Mitov via users wrote:
Hello,

I have recently began looking at Genode for a project I am working on and I am having trouble with running the GDB run scripts. So far I have experimented with the following three:

NOTE The command that I used to run is the following: 
   make -C build/x86_64 run/<run script> KERNEL=hw BOARD=pc​

The monitor​ script runs successfully. However, the monitor_gdb​ script crashes soon after launch with the warning that too many hardware breakpoints have already been set (see corresponding log below) . The monitor_gdb_interactive​  script launches a terminal for a brief second, however it too crashes (I presume it is the same error as with the monitor_gdb​ script). I have attached the corresponding log files below.

I have not altered any of the run scripts. The only changes I made were to the build/x86_64/etc/build.conf​ file which I have attached below.

I would also like to mention that I tried to run:
   make -C build/x86_64 run/<run script> KERNEL=linux BOARD=linux​​

but it also failed (see log below).

Any help will be greatly appreciated!

Kind regards,
Rumen Mitov

_______________________________________________
users mailing list -- users@lists.genode.org
To unsubscribe send an email to users-leave@lists.genode.org
Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/5I5NAB5ZOAHP2EYN6OKN3Z3SCJLW7T4V/