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
--
Met vriendelijke groet / kind regards,
Martijn Verschoor
Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands
+31 35 631 3253 (office) | +31 616 014 087 (mobile)
On 09-01-18 15:35, Stefan wrote:
> 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
>
>
> ------------------------------------------------------------------------------
>
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org!
http://sdm.link/slashdot
> _______________________________________________
> genode-main mailing list
> genode-main@lists.sourceforge.net
>
https://lists.sourceforge.net/lists/listinfo/genode-main