Literature

Virtualization
* Heradon's thesis
Verification
* HOL4 documentation (especially the tutorial)
System developing
* ARMv7-a Architecture specification (you need to register to download the document)
* ARM11 (e.g. raspberry pi) technical manual
* Tutorial on Assembly for raspberry pi
* Tutorial on using the MMU
* Sample bare-to-metal code for raspberry pi
* CrossCompiler