[seL4] I.MX7, Timeout in SEL4 USB driver

​​Hi there, I'm working on USB Storage in Sel4 on I.MX7, when I read/write some block of data from/to USB Driver , sometimes US‌‌‌B Driver fails with this output by this output:

ehci_wait_for_completion@async.c:594 Timeout

this error happened in ehci_schedule_xact function that waiting for transaction completion. I port USB Driver on I.MX7 but because of above bug, it isn't Stable. Can anyone help me how to fix this bug?

regards, Mohamad