Hi all,
Iâm new to Genode and was trying to build the Hello World sample.
I succeeded building the component (Genode book Genode foudations, 2.5.3) but when I try to define the system scenario (2.5.4) and to âmake run/helloâ Iâm getting the error:
make run/hello #including /home/genodeuser/genode/repos/genode_lab_01/run/hello.run building targets: core init app/hello spawn make core init app/hello make[1]: Verzeichnis â/home/genodeuser/genode/build/x86_64â wird betreten Error: target 'core' does not exist Makefile:214: die Regel für Ziel âerror_missing_targetsâ scheiterte make[1]: *** [error_missing_targets] Fehler 1 make[1]: Verzeichnis â/home/genodeuser/genode/build/x86_64â wird verlassen Error: Genode build failed Makefile:312: die Regel für Ziel ârun/helloâ scheiterte make: *** [run/hello] Fehler 252
Please excuse the german output.
The system seems not to be able to build the "core" component(target?).
Any ideas?
Thanks in advance!
Stefan
Hi Stefan,
Welcome to Genode!
It seems like you did not specify which kernel to use in etc/build.conf
For linux:
# kernel to use (nova, hw, sel4, linux, or foc) KERNEL ?= linux