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!