It looks like the Basys doesn't connect the SPI from the PIC to the FPGA, unlike the Atlys. I once managed to program the PIC onboard the Atlys to communicate with an Android tablet and charge it at the same time, but the PIC only implements USB 1.1 which greatly limits the potential applications. I looked into using a PIC32 with USB 2.0 to replace it but the pinout wasn't compatible. Most likely I'll end up adding a small Linux embedded system like a Pi Zero.