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