JLAB PCI TI
Manual for TI board in PCI format in (pdf)
On some DELL servers (R440 for example) booter will give an pci error and ask to push F1. To disable F1 pushing, in BIOS go to 'System BIOS Settings' -> 'Miscellaneous Settings' -> 'F1/F2 Prompt on Error' and click 'Disabled'.
Sometimes device /dev/TIpcie may be removed during patching or/and rebooting process. To restore it do following as root:
cd $CODA/src/TIpcie/linux_driver ./reload_driver.sh