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, [email protected] 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.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
