diff options
| author | Marc Zyngier <Marc.Zyngier@arm.com> | 2013-01-10 12:13:07 +0100 |
|---|---|---|
| committer | Mark Rutland <mark.rutland@arm.com> | 2013-01-31 16:52:00 +0100 |
| commit | 8266891e252f35dcb189c3f2371cfa588f8a8818 (patch) | |
| tree | a708f74df24a68dc2d2560a45f4e543f77e6baa9 /Kconfig | |
| parent | Documentation: Add ARMv8 to arch_timer devicetree (diff) | |
| download | linux-8266891e252f35dcb189c3f2371cfa588f8a8818.tar.xz linux-8266891e252f35dcb189c3f2371cfa588f8a8818.zip | |
ARM: arch_timers: switch to physical timers if HYP mode is available
If we're booted in HYP mode, it is possible that we'll run some
kind of virtualized environment. In this case, it is a better to
switch to the physical timers, and leave the virtual timers to
guests.
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Mark Rutland <mark.rutland@arm.com>
Acked-by: Catalin Marinas <catalin.marinas@arm.com>
Diffstat (limited to 'Kconfig')
0 files changed, 0 insertions, 0 deletions