1. K. Adams, O. Agesen, A comparison of software and hardware techniques for x86 virtualization, in: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS-XII, ACM, New York, NY, USA, 2006, pp. 2–13.
2. AMD, AMD64 Virtualization Codenamed “Pacifica” Technology – Secure Virtual Machine Reference Manual, 3.01 ed., 2005.
3. Z. Amsden, D. Arai, D. Hecht, A. Holler, P. Subrahmanyam, VMI: an interface for paravirtualization, in: Proceedings of the Linux Symposium, vol. 2, 2006, pp. 371–386.
4. ARM Architecture Group, ARM® Architecture Reference Manual: ARM®v7-A and ARM®v7-R edition – Errata Markup, ARM Limited, ARM DDI 0406B_ errata_ 2010_ Q3 (ID100710) ed., 2010.
5. ARM Architecture Group, ARM® Generic Timer Specification, ARM Limited, PRD03-GENC-009660 9.0x ed., 2010.