TI AM335x Xenomai SPI driver