Hello group, I can see there is rtdm spi driver for raspberry pi but can't see any userspace demo for it. I have built and inserted xeno_spi_bcm2835, xeno_spi modules but couldn't see any spi device in '/dev/rtdm/'. Does anyone have example using this driver? Thank you --