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:
tool/ports/prepare_port dde_linux libc
(looks like those have been correctly been downloaded)
- create a build directory with:
tool/create_builddir rpi
- build some things (inside build/rpi directory) with:
make
(this correctly builds many things without error)
- try building demo things (inside build/rpi directory) with:
make run/demo
here things suddently stop, because "target drivers/usb is missing";
from my understanding, this target should be provided by dde_linux port, isn't it?
but inside dde_linux directory (contrib/dde_linux-6e4a3643875613612c2cc788938aadae5ce7ec7f/src/drivers) i only see the "framebuffer" sub-directory;
also in repos/os/src/drivers I cannot see "usb" directory;
Is there anything obviuos I'm missing? Sorry if my question is silly, I'm just trying to get started :) but I see things changed on the way (I read release notes from 13.11 on and some messages in mailing list and see things are in a flux)
Thanks!
Davide
..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 Raspberry Pi 1 ?
Thanks!
2018-01-09 17:24 GMT+01:00 Davide Pippa <thepyper@...9...>:
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:
tool/ports/prepare_port dde_linux libc
(looks like those have been correctly been downloaded)
- create a build directory with:
tool/create_builddir rpi
- build some things (inside build/rpi directory) with:
make
(this correctly builds many things without error)
- try building demo things (inside build/rpi directory) with:
make run/demo
here things suddently stop, because "target drivers/usb is missing";
from my understanding, this target should be provided by dde_linux port, isn't it?
but inside dde_linux directory (contrib/dde_linux- 6e4a3643875613612c2cc788938aadae5ce7ec7f/src/drivers) i only see the "framebuffer" sub-directory;
also in repos/os/src/drivers I cannot see "usb" directory;
Is there anything obviuos I'm missing? Sorry if my question is silly, I'm just trying to get started :) but I see things changed on the way (I read release notes from 13.11 on and some messages in mailing list and see things are in a flux)
Thanks!
Davide
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
Next question: is that image compatible with Raspberry Pi 1 Model B+, or only with original Raspberry Pi 1 ?
It should be. I did not test it myself, but Alexander Weidinger confirmed in this e-mail on our mailing list:
https://sourceforge.net/p/genode/mailman/message/36135065/
that it works, as long as you use the right u-boot bootloader.
Regards Stefan
Thanks!
2018-01-09 17:24 GMT+01:00 Davide Pippa <thepyper@...9...>:
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:
tool/ports/prepare_port dde_linux libc
(looks like those have been correctly been downloaded)
- create a build directory with:
tool/create_builddir rpi
- build some things (inside build/rpi directory) with:
make
(this correctly builds many things without error)
- try building demo things (inside build/rpi directory) with:
make run/demo
here things suddently stop, because "target drivers/usb is missing";
from my understanding, this target should be provided by dde_linux port, isn't it?
but inside dde_linux directory (contrib/dde_linux- 6e4a3643875613612c2cc788938aadae5ce7ec7f/src/drivers) i only see the "framebuffer" sub-directory;
also in repos/os/src/drivers I cannot see "usb" directory;
Is there anything obviuos I'm missing? Sorry if my question is silly, I'm just trying to get started :) but I see things changed on the way (I read release notes from 13.11 on and some messages in mailing list and see things are in a flux)
Thanks!
Davide
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
-
Davide Pippa -
Stefan Kalkowski