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
* This is another good tutorial on Kernel development for raspberry pi
USB related
* QEMU info page
* QEMU git info docs
* Linux device drivers
* Device controller source e.g. OHCI, omap-specific
* OHCI controller specs