I updated to the latest git version of Genode, then tried to build the demo scenario. Unfortunately, it doesn't run on any of the kernels I've tried. Here is the make output relevant to the error:
make[1]: Leaving directory '/home/kingtux/genode/build/nova_x86_64' genode build completed wrong # args: should be "run_boot_dir" while executing "run_boot_dir $binaries" (procedure "build_boot_image" line 2) invoked from within "build_boot_image $boot_modules" (file "/home/kingtux/genode/repos/os/run/demo.run" line 221) 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/kingtux/genode/tool/run/run" line 630) Makefile:231: recipe for target 'run/demo' failed make: *** [run/demo] Error 1
What's wrong and how can I fix it?