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?
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 ^^^=======================================^^^