cannot run make/demo

Daren Sin darensin01 at ...9...
Thu Jul 2 08:33:55 CEST 2015


Hi,

I tried the steps listed in the Genode website, and I'm trying to run
Genode on the NOVA microkernel.

Previously, I've had trouble running the above because I didn't install
Expect correctly. Now, I've passed that hurdle and encountered another
problem:

...
make[1]: Leaving directory `/home/mylinux/Downloads/genode-15.05/build_dir'
genode build completed
Warning: Cannot validate config syntax (please install xmllint)
cp: cannot stat ‘bin/fb_drv’: No such file or directory
    while executing
"exec cp bin/$binary [run_dir]/genode"
    (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4)
    invoked from within
"copy_and_strip_genode_binaries_to_run_dir $binaries"
    (procedure "run_boot_dir" line 6)
    invoked from within
"run_boot_dir $binaries"
    (procedure "build_boot_image" line 2)
    invoked from within
"build_boot_image $boot_modules"
    (file "/home/mylinux/Downloads/genode-15.05/repos/os/run/demo.run" line
225)
    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/mylinux/Downloads/genode-15.05/tool/run/run" line 642)
make: *** [run/demo] Error 1

Upon installing the libxml2-utils package, the line "Warning: Cannot
validate config syntax (please install xmllint)" disappeared, but the rest
of the error message still exists.

Any help here?

Daren
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150702/f02982ba/attachment.html>


More information about the users mailing list