TS-7840 Opencore SPI
From embeddedTS Manuals
The FPGA includes the opencore SPI controller that is supported by a Linux driver ocspi as "opencores,spi-oc". This SPI bus connects only to the onboard #FRAM chipset. Most users should be able to use this driver as is.
The SPI controller is at FPGA BAR0 + 0x400, has a 50MHz input clock, and follows the documentation here.