Ändringar mellan två versioner
Här visas ändringar i "Literature" mellan 2014-05-14 09:43 av Roberto Guanciale och 2014-05-22 09:58 av Roberto Guanciale.
Visa < föregående | nästa > ändring.
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