Click on the File Portal link above and be directed to the registration page. Follow the instructions there: enter your email address and a user-name and you’ll receive an email with a direct link and instructions on how to unpack your source files.
Click on the relevant link above to open a pdf containing instruction set details for the ARM, Thumb and Vector Floating Point operations Save these onto you computer for printing or future reference.
There is no official source of documentation for Syscalls, however this is one of the few compressive guides to Syscalls, which is researched as a labour of love! Be prepared to experiment a bit.
These links will take to you the GCC software site and also sites for the various manuals which you can download and use as a comprehensive reference to each item.
These links will take you to a couple of sites where you can learn more on programming ARM bare-back style. Valvers uses C. There are plenty of other examples to be found on the web.