Hi Christian,

Thank you for the tip. I got monitor_gdb to run successfully but the termin

al spawned by the
          monitor_gdb_interactive

still crashes instantly. I tried running monitor_gdb_interactive in the background and connecting to it via gdb with

target
          remote :5555

Unfortunately this was unsuccessful and I got the error

 "Remote
            refused setting all-stop mode with: E01". According to this post, it
            seems that the gdb version is not mismatched with the
            remote. When running gdb I did so with the /usr/local/genode/tool/23.05/bin/genode-x86-gdb
          and /usr/local/genode/tool/current/bin/genode-x86-gdb
          commands (which were both version 13.1). I could not find any
          information regarding the version that Genode uses for the
          backend, so any insights regarding that will be very helpful!

On Thursday, July 4th, 2024 at 4:59 PM, Christian Prochaska <christian.prochaska@genode-labs.com> wrote:

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:

monitor

monitor_gdb

monitor_gdb_interactive

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/