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