Re: [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...
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/