Hello Marcin,
the gdb_monitor run scripts currently only work with the NOVA kernel, but if your target platform is Linux you should be able to attach GDB to running processes. Maybe this genodians.org article can help?
http://www.genodians.org/ssumpf/2019-04-26-java-gdb
Christian
On 21.11.19 12:33, Marcin.Motylinski@umlaut.com wrote:
Dear, I try to find a way to debug components under Genode. My target platform is Linux kernel that runs on x86_64 platform, but as it was stated in document https://genode.org/documentation/developer-resources/gdb one is not supported for now. Is it true? Can I expect any support in future?
Anyway, I tried to build and run "gdb_monitor_interactive" example, using Fiasco.OC and x86_32 platform. For now, I'm facing following issue:
... Program lib/ld/foc/ld-foc make[1]: Leaving directory '/home/marcin/projects/genode/build/x86_32' genode build completed using 'core-foc-pc.o' as 'core.o' using 'gdbserver_platform-foc.lib.so' as 'gdbserver_platform.lib.so' error copying "bin/gdbserver_platform-foc.lib.so": no such file or directory while executing "file copy -force bin/[kernel_specific_binary $binary] [run_dir]/genode/$binary" (procedure "copy_genode_binaries_to_run_dir" line 4) invoked from within "copy_genode_binaries_to_run_dir $modules" (procedure "build_core_image" line 12) invoked from within "build_core_image $binaries" (procedure "run_boot_dir_x86" line 21) invoked from within "run_boot_dir_x86 $binaries" (procedure "run_boot_dir" line 3) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 34) invoked from within "build_boot_image $boot_modules" (file "/home/marcin/projects/genode/repos/ports/run/gdb_monitor_interactive.run" line 94) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/marcin/projects/genode/tool/run/run" line 1006) Makefile:323: recipe for target 'run/gdb_monitor_interactive' failed make: *** [run/gdb_monitor_interactive] Error 1
when I'm running 'make run/gdb_monitor_interactive KERNEL=foc' under x86_32 platform. There's no 'gdbserver_platform-foc.lib.so' in build folder tree, only 'gdbserver_platform.lib.so' exists.
I'm using Genode 19.08.