Links to Related Resources
Below are links to related resources on the Web. These links are provided as suggestions for obtaining additional information and support materials—neither Elsevier nor the author are responsible for the content.
1. ARM Information Center
Contains details on all ARM instruction set architectures
http://infocenter.arm.com/help/index.jsp
2. ARM GCC Inline Assembler Cookbook
http://www.ethernut.de/en/documents/arm-inline-asm.html
3. GNU GCC: How to Use Inline Assembly Language in C Code
https://gcc.gnu.org/onlinedocs/gcc/Using-Assembly-Language-with-C.html#Using-Assembly-Language-with-C
4. The Unofficial Linux Perf Events Web Page
http://web.eece.maine.edu/~vweaver/projects/perf_events/
5. The Khronos Group
Contains complete OpenCL documentation
https://www.khronos.org/
6. Official Raspberry Pi page
https://www.raspberrypi.org/
7. Baking Pi - University of Cambridge
Good background information on the Raspberry Pi, although not updated for the later models
http://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/os/index.html
8. NVIDIA Jetson TK1
https://developer.nvidia.com/embedded-computing
9. ZedBoard
http://zedboard.org/