I was very excited to see that the 18.08 release notes indicated that the USB driver is available for the Wandboard Quad. Unfortunately my testing has not been successful yet. I can build run/usb_hid with the seL4 kernel but at boot time I see:
Genode 18.08 455 MiB RAM and 31767 caps assigned to init Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x1 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x2 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x4 [init -> usb_hid_drv] --- USB HID input driver ---
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x8 [init -> usb_hid_drv] Warning: use compatibility mode: will claim all HID devices from USB report [init -> usb_hid_drv] Configured HID screen with 0x0 (multitouch=false)
Warning: PD (init -> gpio_drv) cap limit (used=25, limit=25) exceeded during transfer_quota(3) [init -> gpio_drv] resource_request: cap_quota=3
[init] child "gpio_drv" requests resources: cap_quota=3 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10 [init -> usb_drv] dev_info: EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 Warning: mapping failed 0x2dc03000 -> 0x10003000 Warning: mapping failed 0x2dc03000 -> 0x10003000 [init -> test-input] --- Input test --- Warning: mapping failed 0x2dc03000 -> 0x10003000
and that last line repeats indefinitely. I cannot find either of those addresses anywhere in the code so it is unclear to me what the problem is.