hopting to have working gdb to debug apps inside gendode I try to compile gdb_monitor_interactive for nova kernel x64 I use 19.8 version, make -C build/x86_64/ VERBOSE= VERBOSE_MK= VERBOSE_DIR= MAKEFLAGS=--trace KERNEL=nova run/gdb_monitor_interactive I use symlinks to assemble genode dir (mounted inside build VM from host).
In log I found
genode build completed checking configuration syntax can't read "init_xsd_file": no such variable while executing "check_config init [run_dir]/genode/config $init_xsd_file init $xsd_files $xsd_inc 0" (procedure "build_boot_image" line 32) invoked from within "build_boot_image $boot_modules" (file "/genode.08/repos/ports/run/gdb_monitor_interactive.run" line 93) 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 "genode/tool/run/run" line 1006) Makefile:323: recipe for target 'run/gdb_monitor_interactive' failed make: *** [run/gdb_monitor_interactive] Error 1
I check availability of file, it is accessible (at least less can open it from guest VM where I run script) ~/genode/build/x86_64/bin/init.xsd -> ~/genode/repos/os/src/init/config.xsd
Probably this portion of run script fail: # determine which XSD file to use for the init config
foreach xsd_file $xsd_files {
set filename [file tail $xsd_file]
if {$filename == "init.xsd"} {
set init_xsd_file $xsd_file
}
}
Any suggestions?