Problems detecting different FPGA boards in the same machine

--- Quote Start ---

Probably, your best bet is to write some bash script to perform all the necessary operations when you want to switch from one board to another. Or, you could put one of your boards in another machine (which is what I am doing right now).

--- Quote End ---

I do have a script that takes care of that, but it turns out the problem is that, at boot time, only one of the board get appropriately detected. If I disable the PCI slot from the BIOS, then I can see the other card. So, the only solution is to move one of the cards to another machine. How inconvenient!!!

Thanks for sharing your experience HRZ!