At a quick glance that looks like the kernel module for spi which should already be on the Pi. You'll need to enable the spi device (either using raspi-config or editing /boot/config.txt) and then /dev/spidev* devices should appear after the next boot.
Edit: for the advanced information the kernel documentation
https://www.kernel.org/doc/Documentation/spi/ might be useful.