<br>
<li> x86 32/64 bits
<li> PowerPC 32 and 64 bits
-<li> ARM (with limited timestamping precision, e.g. 1HZ. Need
+<li> ARMv7 OMAP3
+<li> Other ARM (with limited timestamping precision, e.g. 1HZ. Need
architecture-specific support for better precision)
<li> MIPS
<li> sh (partial architecture-specific instrumentation)