1. cc3d7f7 xen: move the xenvm machine to mach-virt by Stefano Stabellini · 12 years ago
  2. d24e638 ARM: mach-virt: fixup machine descriptor after removal of sys_timer by Will Deacon · 12 years ago
  3. 4de3abb ARM: mach-virt: add SMP support using PSCI by Will Deacon · 12 years ago
  4. 2a0ba73 ARM: Dummy Virtual Machine platform support by Marc Zyngier · 12 years ago