[PATCH v3 1/7] Imported files for driver: bcm283x_dwcotg

[Pavel Pisa]

Hello Deval,

I cannot comment much libbsd changes because I have little
experience there, but I am curious if you have some results
from testing on real hardware.

Is USB bus correctly enumerated?
Is ETHERNET chip found?
Can you send ping or other communication works?

If all is yes, what is throughput measured by ping flood
for exmaple

  ping -f -s 1400 -q 192.168.x.x

and then on TCP layer.

Have you documented the last state and instructions
to reproduce the work. By the way, have you tested
on RPi1 or Rpi2.

Best wishes,

              Pavel

PS: I have managed to start the second core on RPi2
    by RTEMS SMP support. But then the systems freezes.
    So there are some IPI or other problems.