tree 8029f2f862b3adeabc2223b09a2710ccf08175eb
parent 2caa74e6c76954a1ce8e9a2d56b5a9401285d6ee
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>