Literature
Virtualization
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