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