[PATCH] arm: omap4: allow disabling MPU local timer if 32K timer is enabled
Russell King - ARM Linux
linux at arm.linux.org.uk
Sat Feb 11 05:03:51 EST 2012
On Sat, Feb 11, 2012 at 04:31:25PM +0800, Ming Lei wrote:
> With 32K gp timer, tick can be driven and system can run well, so
> allow MPU local timer to be disabled if someone requires it, otherwise
> MPU local timer is always chosen as the default clock_event_device.
The point being?
What if you want to use NO_HZ?
More information about the linux-arm-kernel