RasPi 3 build problem

[Ken.Dickey]

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