diff options
author | Matias Elo <matias.elo@nokia.com> | 2018-12-03 14:53:40 +0200 |
---|---|---|
committer | Maxim Uvarov <maxim.uvarov@linaro.org> | 2018-12-13 12:30:19 +0300 |
commit | b4282e059d775c017ab082736bb25ff061d1e033 (patch) | |
tree | b4303e6ad37172dc62e32107f6d8cb24e90d8c8d /config | |
parent | cb918c9cd4a0d93db99d44b804f3c09ac7e65a17 (diff) |
Port 12c4ca508 "linux-gen: timer: add config option for inline timer poll 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 'config')
-rw-r--r-- | config/odp-linux-dpdk.conf | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/config/odp-linux-dpdk.conf b/config/odp-linux-dpdk.conf index 03cf21198..824dd57c2 100644 --- a/config/odp-linux-dpdk.conf +++ b/config/odp-linux-dpdk.conf @@ -16,7 +16,7 @@ # Mandatory fields odp_implementation = "linux-dpdk" -config_file_version = "0.1.3" +config_file_version = "0.1.4" # Pool options pool: { @@ -96,3 +96,12 @@ sched_basic: { control = 1 } } + +timer: { + # Inline timer poll interval + # + # When set to 1 inline timers are polled during every schedule round. + # Increasing the value reduces timer processing overhead while + # decreasing accuracy. + inline_poll_interval = 10 +} |