diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/taskset.json | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/taskset.json b/doc/taskset.json index cd5a911..f85cc62 100644 --- a/doc/taskset.json +++ b/doc/taskset.json @@ -28,11 +28,12 @@ }, "global" : { "spacing" : 0, - "default_policy" : "OTHER", + "default_policy" : "SCHED_OTHER", "duration" : -1, "gnuplot" : false, "logdir" : null, - "baselog" : "rt-app", + "log_basename" : "rt-app", + "lock_pages" : true, "frag" : 1 } } |