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@critical.com>