Debian 7 RT KernelΒΆ

Follow the LinuxCNC documentation instructions here

sudo apt-get install libpci-dev