Spi developpment with Linux Ubuntu

Hi everyone,

I am developpping a prototype using the Lattepanda Delta 3 running an Ubuntu20.04 LTS. I have some trouble for creating a spi driver for getting data from a sensor. From what I understood, the spi is NOT connected to the arduino Leonardo and should the hardware should be visible on my linux but I can't find the approriate object under /dev/ folder. Do I miss anything? How am I supposed to use the SPI bus?

Kind regards,

Baptiste