<div dir="auto">How much does the Raspberry Pi version actually matter? Aren't they almost entirely backward-compatible?</div><div class="gmail_extra"><br><div class="gmail_quote">On Mar 5, 2018 3:22 AM, "Stefan Kalkowski" <<a href="mailto:stefan.kalkowski@...1...">stefan.kalkowski@...1...</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
On Mon, Mar 05, 2018 at 12:04:54AM +0000, Ken.Dickey wrote:<br>
> Greetings,<br>
><br>
> I git cloned Genode, downloaded last version of tools, and am following the instructions in doc/getting_started.txt<br>
><br>
> I seem to be close but am lacking usb. Tried both sel4 and foc.<br>
><br>
> I am totally unfamiliar with the build tools.<br>
><br>
> Can some kind person help me out?<br>
<br>
when looking at the error messages below, I can see that you're<br>
'etc/build.conf' file within your build directory is missing the<br>
repository containing the USB driver for the Raspberry Pi that is<br>
needed to drive input devices (keyboard,mouse). You'll have to<br>
uncomment the corresponding line that contains 'repos/dde_linux'.<br>
<br>
However, much more troublesome is that you're building for Raspberry<br>
Pi version 1! When looking at your subject, I think you're trying to<br>
run that on Raspberry Pi version 3. That won't work. Genode has no<br>
support for newer versions of Raspberry Pi right now.<br>
<br>
Regards<br>
Stefan<br>
<br>
><br>
> Thanks much,<br>
> -KenD<br>
><br>
> vvv===========================<wbr>===========vvv<br>
> ## Did:<br>
> ## ./tool/ports/prepare_port foc<br>
> ## ./tool/create_builddir rpi<br>
> ## -- then uncommented 'libports' directive in etc/build.conf<br>
><br>
> Linux:x86.64:/mnt/sda4/genode >>> make -C build/rpi KERNEL=foc run/demo<br>
><br>
> make: Entering directory '/mnt/sda4/genode/build/rpi'<br>
> including /mnt/sda4/genode/tool/run/<wbr>boot_dir/foc<br>
> including /mnt/sda4/genode/repos/os/run/<wbr>demo.run<br>
> building targets: core init drivers/timer server/nitpicker app/pointer app/status_bar app/global_keys_handler app/nit_focus server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom server/rom_filter drivers/usb drivers/gpio drivers/platform<br>
> spawn make core init drivers/timer server/nitpicker app/pointer app/status_bar app/global_keys_handler app/nit_focus server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom server/rom_filter drivers/usb drivers/gpio drivers/platform<br>
> make[1]: Entering directory '/mnt/sda4/genode/build/rpi'<br>
> Error: target 'drivers/usb' does not exist<br>
> Makefile:214: recipe for target 'error_missing_targets' failed<br>
> make[1]: *** [error_missing_targets] Error 1<br>
> make[1]: Leaving directory '/mnt/sda4/genode/build/rpi'<br>
> Error: Genode build failed<br>
> Makefile:312: recipe for target 'run/demo' failed<br>
> make: *** [run/demo] Error 252<br>
> make: Leaving directory '/mnt/sda4/genode/build/rpi'<br>
><br>
> Linux:x86.64:/mnt/sda4/genode >>> uname -a<br>
> Linux tranquil 4.13.0-36-generic #40~16.04.1-Ubuntu SMP Fri Feb 16 23:25:58 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux<br>
> ^^^===========================<wbr>============^^^<br>
><br>
> ------------------------------<wbr>------------------------------<wbr>------------------<br>
> Check out the vibrant tech community on one of the world's most<br>
> engaging tech sites, Slashdot.org! <a href="http://sdm.link/slashdot" rel="noreferrer" target="_blank">http://sdm.link/slashdot</a><br>
> ______________________________<wbr>_________________<br>
> genode-main mailing list<br>
> <a href="mailto:genode-main@lists.sourceforge.net">genode-main@...449...2...<wbr>net</a><br>
> <a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/genode-main</a><br>
<br>
--<br>
Stefan Kalkowski<br>
Genode labs<br>
<br>
<a href="https://github.com.skalk" rel="noreferrer" target="_blank">https://github.com.skalk</a> | <a href="https://genode.org" rel="noreferrer" target="_blank">https://genode.org</a><br>
<br>
------------------------------<wbr>------------------------------<wbr>------------------<br>
Check out the vibrant tech community on one of the world's most<br>
engaging tech sites, Slashdot.org! <a href="http://sdm.link/slashdot" rel="noreferrer" target="_blank">http://sdm.link/slashdot</a><br>
______________________________<wbr>_________________<br>
genode-main mailing list<br>
<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...172...<wbr>net</a><br>
<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/genode-main</a><br>
</blockquote></div></div>