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