I am trying to interface my Zynq board with external device using SPI. I selected SPI0 and SPI1 in Zynq PS in Vivado Hardware design and exported the design to petalinux. I enabled the SPI kernel modules in Petalinux by the command
petalinux-config -c kernel
under Device Drivers -> SPI Support and enabling the Xilinx SPI controller common module, Xilinx Zynq QSPI controller and User mode SPI device driver support.
I have mentioned the contents of the device tree below.
Could you please guide me in how to get the spi drivers installed and make it available in Linux.