To cross-check, does the creation of the binary archive
bin/arm_v8a/a64_usb_host_drv using the genode-allwinner repository work
as it should?
Thanks for help! It builds ( but no cigar!). I managed to put a
comment in a list , so everything failed :-)
