Is it possible to add additional modules for some USB devices to the default redPitaya kernel?
Right now the kernel seems to be static without module support.
Especially focus on adding several usb-WIFI dongles to make them work out of the box - the only USB WIFI driver that I have found to be compiled in is: 8192cu.
It may also be helpful adding some other modules like USB-serial console or such...
(also enabling /proc/config.gz may help...)