Configure a SPEC host
A SPEC host is a normal Linux PC with the SPECv4 card inserted into a 4+ lane PCI express slot. In order to communicate with the card, you will need the kernel driver and Etherbone library. Simply follow the Building-from-Sources directions to install them on your system.
After "make install" as root, run "depmod -a" and reboot. You should see the device listed as a PCIe device and see that the driver loaded (here I have two SPECs):
root@host:~# lspci | grep 018d
01:00.0 Non-VGA unclassified device: CERN/ECP/EDU Device 018d (rev 03)
02:00.0 Non-VGA unclassified device: CERN/ECP/EDU Device 018d (rev 03)
root@host:~# lsmod | grep spec
spec_wb 12596 0
wishbone 12660 1 spec_wb
root@host:~# dmesg | grep spec
[ 8.856298] spec_wb 0000:01:00.0: irq 44 for MSI/MSI-X
[ 8.866082] spec_wb 0000:02:00.0: irq 45 for MSI/MSI-X
root@host:~# ls -l /dev/spec*
crw------- 1 root root 252, 0 Dec 3 2009 /dev/spec_wb0
crw------- 1 root root 252, 1 Dec 3 2009 /dev/spec_wb1