Manual for the intermediate TI board (named TID): (pdf) (docx)
Manual for the TI at April 23, 2013: (pdf)
Clock distribution manual: (pdf) (docx)