Well, we have defined model of your device here. So just look at the list and choose manual for ARM Computer Hardware Cortex r1p3.
On the next page you will be able to read or download PDF file.