tree a35b731bd81e4164929bd3628239b35f02f731d6
parent 3f9b12a5b58c4b2ec9c2b639b632473adbf872d0
author Robert Lippert <rlippert@google.com> 1484090547 -0800
committer Patrick Williams <patrick@stwcx.xyz> 1484437665 +0000

kernel: add high res timers to kernel config

High res timers are useful in general, particularly for userspace apps
that call usleep().

Change-Id: I15be1b20141423650ed7f049a4b9ea53160260e3
Signed-off-by: Robert Lippert <rlippert@google.com>
Signed-off-by: Patrick Williams <patrick@stwcx.xyz>