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:
