Cool, I was checking as I have been warping the inside of my head trying to figure out how to write a device driver for DSLinux and wasn't sure it if was possible.

So far I've figured out the following:

The SPI layer didn't get implemented into the Linux kernel until a couple of versions later than the one we use. Rather than backport/upgrade the kernel I'm going to try and build all the SPI stuff into the driver itself.