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