Sorry about the delay. I’ve just updated the OSPi pre-configured SD card image today (it now supports RPi 2 as well), and also updated the user manual. The user manual is in the same location as before:
http://rayshobby.net/docs/ospi14_manual.pdf
and the image link is in the manual.