According to this, there is a Xilinx Soft SPI Driver. The zc706 includes SPI in the MIO, so shouldn't there also be a Hard IP SPI Driver similar to the Cadence I2C?
Nevermind, I found it. The wiki brings up the AXI SPI as the default search result
View solution in original post