Can't run runscript gdb_monitor_interactive

Alexander Tormasov a.tormasov at
Wed Oct 23 21:56:12 CEST 2019

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/" 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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list