Building genode 17.11 for Raspberry Pi

[Davide Pippa]

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