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
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ 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