diff options
| author | Matias Elo <matias.elo@nokia.com> | 2018-11-13 15:08:02 +0200 |
|---|---|---|
| committer | Maxim Uvarov <maxim.uvarov@linaro.org> | 2018-11-16 21:58:06 +0300 |
| commit | 12c4ca508b07b8d2366b0c37bee5f866019e94c2 (patch) | |
| tree | 7c5d0a32a43d0ebd81565bbdd7dd870f971a7796 /CONTRIBUTING | |
| parent | 9ddeaaf7a3226ab03e57cc49775fd234b8d44a2b (diff) | |
linux-gen: timer: add config option for inline timer poll frequency
Add configure option 'timer.inline_poll_interval' for adjusting inline
timer polling frequency.
Signed-off-by: Matias Elo <matias.elo@nokia.com>
Reviewed-by: Bill Fischofer <bill.fischofer@linaro.org>
Signed-off-by: Maxim Uvarov <maxim.uvarov@linaro.org>
Diffstat (limited to 'CONTRIBUTING')
0 files changed, 0 insertions, 0 deletions