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 Errata link above to be directed to the erratta pages for the book.
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.
Raspbian is based on Debian optimised for the Raspberry Pi. It has its own website so check it out. The Broadcom Datasheet has all the GPIO and other SoC data you need. The links opens a PDF.
How to get Linux and Java SE Embedded running on the Raspberry Pi in less than an hour