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