Ändringar mellan två versioner
Här visas ändringar i "Literature" mellan 2014-05-08 13:41 av Oliver Schwarz och 2014-05-14 09:43 av Roberto Guanciale.
Visa 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 ¶