Hi I'm trying to test the Genode examples on RaspberryPI, but the USB Mouse is not working. I'm using the revision (ac6c4682f3df6e5069f5c0aed02a7e60eea834f8), testing the examples of revision (f4e735fa1626712a8b4e856b980fa11e64b78c8a) its works fine. This is the serial output

Genode 14.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 248 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> fb_drv] --- fb_drv started --- [init -> platform_drv] --- Raspberry Pi platform driver --- [init -> launchpad] Could not open file "ld.lib.so" [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support [init -> usb_drv] dev_info: DWC OTG Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> usb_drv] dev_info: irq 17, io mem 0x00000000 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 1 port detected [init -> nitpicker] create session with args: label="status_bar", ram_quota=28672 [init -> nitpicker] create session with args: label="launchpad", ram_quota=28672 [init -> nitpicker] create session with args: label="pointer", ram_quota=28672 [init -> status_bar] could not parse focus report [init -> launchpad] --- entering main loop ---

Best regards