Xeon Phi Register Manual

Hi,

We are planning to get the Xeon Phi working in our research environment which is a non-linux / non-windows operating system. Therefore we need to write our own drivers and our driver model is quite different to the one used in Linux / Windows. We have looked at the available documents for the Xeon Phi, however from a systems point of view they are pretty disappointing. 

Is there something like a technical reference manual / register reference of the Xeon Phi containing all the available registers on host side / coprocessor side ?

Thanks.