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@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main -- Stefan Kalkowski Genode labs https://github.com.skalk | https://genode.org ------------------------------------------------------------------------------ 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
