[PATCH v3 0/5] ARM: KVM: Architected timer support

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



This is the third version of my in-kernel timers using the architected
timer. This is quite a departure from the original implementation, as
we now rely on the host to be booted in HYP mode to select the
physical timer instead of implementing a fragile timer switch.

It relies on my previously posted HYP-mode boot, VGIC and arch-timer
series (yes this is quite a backlog).

Patches based on the kvm-arm-v11-stage branch, and is available at:
git://git.kernel.org/pub/scm/linux/kernel/git/maz/arm-platforms.git
kvm-arm-v3.6-rc3-timer

Tested on the TC2 platform, A15 cluster only.

Marc Zyngier (5):
  ARM: arch_timers: switch to physical timers if HYP mode is available
  ARM: KVM: arch_timers: Add minimal infrastructure
  ARM: KVM: arch_timers: Add guest timer core support
  ARM: KVM: arch_timers: Add timer world switch
  ARM: KVM: arch_timers: Wire the init code and config option

 arch/arm/include/asm/kvm_arch_timer.h |  95 ++++++++++++++++
 arch/arm/include/asm/kvm_host.h       |   5 +
 arch/arm/kernel/arch_timer.c          |   7 +-
 arch/arm/kernel/asm-offsets.c         |   8 ++
 arch/arm/kvm/Kconfig                  |   7 ++
 arch/arm/kvm/Makefile                 |   1 +
 arch/arm/kvm/arm.c                    |  14 +++
 arch/arm/kvm/interrupts.S             |  64 ++++++++++-
 arch/arm/kvm/reset.c                  |   9 ++
 arch/arm/kvm/timer.c                  | 202 ++++++++++++++++++++++++++++++++++
 arch/arm/kvm/vgic.c                   |   4 +
 11 files changed, 414 insertions(+), 2 deletions(-)
 create mode 100644 arch/arm/include/asm/kvm_arch_timer.h
 create mode 100644 arch/arm/kvm/timer.c

-- 
1.7.11.4



_______________________________________________
kvmarm mailing list
kvmarm@xxxxxxxxxxxxxxxxxxxxx
https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm


[Index of Archives]     [Linux KVM]     [Spice Development]     [Libvirt]     [Libvirt Users]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux