[PATCH] fixup! efi: clocksoure: add EFI event timer

Mon Mar 13 08:55:28 PDT 2017

> On 13 Mar 2017, at 9:16 PM, Michael Olbrich <m.olbrich at pengutronix.de> wrote:
> 
> ---
> 
> I played with the numbers a bit. This hardware has a 18 Hz tick :-/.
18Hz wow it’s unusable

how can they implement this

> That's not really useful so just skipping the clocksource is probably the
> best solution.
> 

Acked-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj at jcrosoft.com>

Best Regards,
J.