[PATCH v2 0/3] ACPI, clocksource: add GTDT and ARM memory-mapped timer support

[Marc Zyngier]

On 16/12/15 16:32, Daniel Lezcano wrote:
> 
> Marc,
> 
> can you have a look ?

Thanks for putting me in the loop. I'll look at it.

	M.
-- 
Jazz is not dead. It just smells funny...