Hi Davide,
On Tue, Jan 09, 2018 at 06:01:49PM +0100, Davide Pippa wrote:
> ..ehm, infact I found it.
>
> I forgot to enable that line in build/rpi/etc/build.conf:
>
> REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
>
> now command:
>
> make run/demo
>
> works and builds var/run/demo/image.elf
..ehm, infact I found it.
I forgot to enable that line in build/rpi/etc/build.conf:
REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
now command:
make run/demo
works and builds var/run/demo/image.elf
Next question: is that image compatible with Raspberry Pi 1 Model B+, or
only with original
Hello everybody!
I'm trying to build demo scenario to test genode on raspberry pi (trying
model 1 B+), but I'm facing some build problems.
I'm a newbie in genode so maybe it's something silly, but here's what I've
done:
- download genode source code;
- preparing some useful ports with:
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
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