Genode 19.08 demo on seL4/x86 build failing

[Adam T. Wiethuechter]

Hi everyone,

It's been a long while since I have messed with Genode and a lot (of 
really good things) have happened since. I can't wait to get more into 
the system again (and finally play with Sculpt).

To start I'm trying to building the demo for x86 systems (I am targeting 
a APU2D4 system from PC.Engines) with seL4 as the kernel. Below is what 
I have run to setup and build the system (on Ubuntu 18.04.1 LTS):

```
sudo apt install make libsdl-dev tclsh expect qemu xorriso e2tools byacc 
autoconf2.64 autogen bison flex subversion g++ git gperf libxml2-utils 
xsltproc gdisk texinfo gprbuild gnat
cd genode-19.08/
./tool/tool_chain x86
./tool/ports/prepare_port sel4
./tool/depot/create genodelabs/pkg/x86_64/drivers_interactive-linux 
genodelabs/bin/x86_64/base-sel4-x86 genodelabs/bin/x86_64/demo 
genodelabs/bin/x86_64/global_keys_handler genodelabs/bin/x86_64/init 
genodelabs/bin/x86_64/nit_focus genodelabs/bin/x86_64/nitpicker 
genodelabs/bin/x86_64/report_rom genodelabs/bin/x86_64/rom_filter 
CROSS_DEV_PREFIX=/usr/local/genode/tool/19.05/bin/genode-x86-
./tool/ports/prepare_port grub2
./tool/create_builddir x86_64
cd build/x86_64/
vim etc/build.conf
make init
make clean
make run/demo
```

Note that I updated "etc/build.conf" so that 'KERNEL=sel4', 
'BOARD=linux', parallel build is enabled and added 'RUN_OPT += --include 
image/iso'
The "make init" command completes without error. The "make run/demo" 
however spits out this:

```
including /home/adam/genode-19.08/tool/run/boot_dir/sel4
including /home/adam/genode-19.08/tool/run/image/iso
including /home/adam/genode-19.08/repos/os/run/demo.run
building targets:  app/status_bar test/nitpicker
spawn make app/status_bar test/nitpicker
make[1]: Entering directory '/home/adam/genode-19.08/build/x86_64'
checking library dependencies...
   Library ldso-startup
     COMPILE  startup.o
     MERGE    ldso-startup.lib.a
   Library ld
     CONVERT  ld.symbols.s
     ASSEMBLE ld.symbols.o
     MERGE    ld.abi.so
   Library base
     MERGE    base.lib.a
   Program test/nitpicker/testnit
     CONVERT  binary_default.tff.o
   Program app/status_bar/status_bar
     COMPILE  test.o
     COMPILE  main.o
     LINK     testnit
     LINK     status_bar
make[1]: Leaving directory '/home/adam/genode-19.08/build/x86_64'
genode build completed
checking configuration syntax
   CHECK init
building targets: kernel/sel4
spawn make kernel/sel4
make[1]: Entering directory '/home/adam/genode-19.08/build/x86_64'
checking library dependencies...
Library-description file kernel-sel4-linux.mk is missing
var/libdeps:23: *** missing separator.  Stop.
Makefile:286: recipe for target 'gen_deps_and_build_targets' failed
make[1]: *** [gen_deps_and_build_targets] Error 2
make[1]: Leaving directory '/home/adam/genode-19.08/build/x86_64'
Error: Genode build failed
Makefile:323: recipe for target 'run/demo' failed
make: *** [run/demo] Error 252
```

Just to be sane I also tried using the HW kernel (after grabbing the 
needed things) getting even weirder but similar results:

```
cd genode-19.08/
./tool/depot/create genodelabs/bin/x86_64/base-hw-pc 
CROSS_DEV_PREFIX=/usr/local/genode/tool/19.05/bin/genode-x86-
cd build/x86_64
make KERNEL=hw BOARD=linux run/demo
including /home/adam/genode-19.08/tool/run/power_on/linux
including /home/adam/genode-19.08/tool/run/log/linux
including /home/adam/genode-19.08/tool/run/boot_dir/hw
including /home/adam/genode-19.08/tool/run/image/iso
including /home/adam/genode-19.08/repos/os/run/demo.run
building targets:  app/status_bar test/nitpicker
spawn make app/status_bar test/nitpicker
make[1]: Entering directory '/home/adam/genode-19.08/build/x86_64'
checking library dependencies...
   Library ldso-startup
     COMPILE  startup.o
     MERGE    ldso-startup.lib.a
   Library ld
     CONVERT  ld.symbols.s
     ASSEMBLE ld.symbols.o
     MERGE    ld.abi.so
   Library base
     MERGE    base.lib.a
     COMPILE  test.o
   Program app/status_bar/status_bar
     CONVERT  binary_default.tff.o
   Program test/nitpicker/testnit
     COMPILE  main.o
     LINK     testnit
     LINK     status_bar
make[1]: Leaving directory '/home/adam/genode-19.08/build/x86_64'
genode build completed
checking configuration syntax
   CHECK init
building targets: bootstrap/hw core/hw
spawn make bootstrap/hw core/hw
make[1]: Entering directory '/home/adam/genode-19.08/build/x86_64'
checking library dependencies...
Library-description file bootstrap-hw-linux.mk is missing
Library-description file core-hw-linux.mk is missing
make[1]: Leaving directory '/home/adam/genode-19.08/build/x86_64'
genode build completed
error copying "bin/core-hw-linux.o": no such file or directory
     while executing
"file copy -force bin/core-hw-[board].o [run_dir]/genode/core-hw.o "
     (procedure "run_boot_dir" line 27)
     invoked from within
"run_boot_dir $binaries"
     (procedure "build_boot_image" line 34)
     invoked from within
"build_boot_image { status_bar testnit launchpad.config }"
     (file "/home/adam/genode-19.08/repos/os/run/demo.run" line 216)
     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/adam/genode-19.08/tool/run/run" line 1006)
Makefile:323: recipe for target 'run/demo' failed
make: *** [run/demo] Error 1
```

At this point I think something is up with my environment but I have no 
idea where to begin. Any pointers?
Thanks and happy weekend everyone!

-- 
73's,
Adam Wiethuechter, Jr Software Engineer
Critical Technologies Inc. (CTI)
Desk: (315)-793-0248 x157
Cell: (315)-552-4298
<adam.wiethuechter at critical.com>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20190913/0b05c50f/attachment.html>