7.8. Virtualization Extensions, ETMv3.5

The Virtualization Extensions provide hardware support for virtual machine operation. A virtualized system involves:

This model is based on providing virtualization support for Guest OSes that do not make use of the ARM Security Extensions other than, optionally, making calls to the secure side. See the ARM Architecture Reference Manual for more information on virtualization.

Virtualization includes a mechanism to distinguish between multiple virtual machines using a Virtual Machine ID (VMID) string. In ETMv3.5 you can use this VMID for tracing and matching. See Example resource configuration. See also VMID packets, ETMv3.5.

Copyright © 1999-2002, 2004-2009, 2011 ARM Limited. All rights reserved.ARM IHI 0014Q
Non-ConfidentialID101211