Module aarch64

Modules

• gic_software_device
  VPCI device implementation for GIC-based VMs.
• vm
• vp

Structs

• Aarch64InitialRegs
  VP state that can be set for initial boot.
• Aarch64PartitionCapabilities