Hello everyone, i have been trying to go through the tutorial on pcie for the de4 board. I got my qsys_system.qsys files done and have my .sof. I have also compiled my drivers and have loaded them in linux which detects the de4 board upon loading. However, if i download the bit stream of the tutorial onto the board, and perform a reboot on the linux computer, the device is no longer listed. I don't seem to have an idea where the problem lies but hoping i can get some solution here. thank you.