ARM

• Internal ABI between the kernel and HYP
• ARM Hypercall Interface
  • Bitmap Feature Firmware Registers
• Paravirtualized time support for arm64
  • Stolen Time
• PTP_KVM support for arm/arm64