Building genode 17.11 for Raspberry Pi

[Davide Pippa]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180109/c5b41303/attachment.html>