David - I just downloaded the latest version of the SDK for linux (source) for the Oculus Rift and it appears that it has source code for the kernel and such in it. I appears to have .cpp and .h files in a proper structured build tree with a Makefile.  It is oriented to x86 and the validation appears to require that. It is version 0.2.3 released on 7/3/13. Bob Teeter