Building "gdb_monitor_interactive" problem

[Marcin.Motylinski at umlaut.com]

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.
-- 

Marcin Motylinski
umlaut						
marcin.motylinski at umlaut.com	

www.umlaut.com	

P3 eS GmbH
legal disclaimer, mandatory information and the umlaut office addresses can be found at
https://imprint.umlaut.com/SES