Contents

• Checking Model against ARM hardware
  • Forbidden by model and observed
  • Allowed by model and unobserved
• Specific behaviours
  • Tegra2
  • APQ8060
  • A5X
  • A6X
  • Exynos5250
  • Denver32
  • Tegra3
  • Exynos4412
  • Exynos5410
  • APQ8064
  • BCM2836
  • PI3B
  • Cortex-A72
• New this round