I have got my simple TCP/IP application running on the Atmel AT91SAM7X256 EK dev board, including using UDP to discover the board (thanks Michael Fisher). Now I would like to add a SPI device. I see there are some hardware addresses defined for SPI on this chip, is there a SPI device driver?