Visa version
Version skapad av Roberto Guanciale 2014-05-22 09:58
Visa
< föregående
|
nästa >
Jämför
< föregående
|
nästa >
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