RasPi 3 build problem

[Stefan Kalkowski]

Hi,

On Mon, Mar 05, 2018 at 12:04:54AM +0000, Ken.Dickey wrote:
> Greetings,
> 
> I git cloned Genode, downloaded last version of tools, and am following the instructions in doc/getting_started.txt
> 
> I seem to be close but am lacking usb.  Tried both sel4 and foc.
> 
> I am totally unfamiliar with the build tools. 
> 
> Can some kind person help me out?  

when looking at the error messages below, I can see that you're
'etc/build.conf' file within your build directory is missing the
repository containing the USB driver for the Raspberry Pi that is
needed to drive input devices (keyboard,mouse). You'll have to
uncomment the corresponding line that contains 'repos/dde_linux'.

However, much more troublesome is that you're building for Raspberry
Pi version 1! When looking at your subject, I think you're trying to
run that on Raspberry Pi version 3. That won't work. Genode has no
support for newer versions of Raspberry Pi right now.

Regards
Stefan

> 
> Thanks much, 
> -KenD
> 
> vvv======================================vvv
> ## Did:
> ## ./tool/ports/prepare_port foc
> ## ./tool/create_builddir rpi
> ## -- then uncommented 'libports' directive in etc/build.conf
> 
> Linux:x86.64:/mnt/sda4/genode >>> make -C build/rpi KERNEL=foc run/demo
> 
> make: Entering directory '/mnt/sda4/genode/build/rpi'
> including /mnt/sda4/genode/tool/run/boot_dir/foc
> including /mnt/sda4/genode/repos/os/run/demo.run
> 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
> 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
> make[1]: Entering directory '/mnt/sda4/genode/build/rpi'
> Error: target 'drivers/usb' does not exist
> Makefile:214: recipe for target 'error_missing_targets' failed
> make[1]: *** [error_missing_targets] Error 1
> make[1]: Leaving directory '/mnt/sda4/genode/build/rpi'
> Error: Genode build failed
> Makefile:312: recipe for target 'run/demo' failed
> make: *** [run/demo] Error 252
> make: Leaving directory '/mnt/sda4/genode/build/rpi'
> 
> Linux:x86.64:/mnt/sda4/genode >>> uname -a
> 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
> ^^^=======================================^^^
> 
> ------------------------------------------------------------------------------
> 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

-- 
Stefan Kalkowski
Genode labs

https://github.com.skalk | https://genode.org