Hi Everyone, I'm trying to use rtdm spi on raspberry pi, and I find something confusing. I could see there are two spi-bcm2835.c files in the kernel source (after xenomai patching), one with rtdm, and one native. But these two drivers use the same .compatible = "brcm,bcm2835-spi", which means the device-tree cannot distinguish them. Does this mean I have to manually disable the native spi driver in Kconfig to avoid binding conflicts if I want to use the rtdm one?
Best Regards, Yunjie
