diff options
| author | Giacomo Bagnoli <g.bagnoli@asidev.com> | 2010-03-17 10:12:25 +0100 |
|---|---|---|
| committer | Giacomo Bagnoli <g.bagnoli@asidev.com> | 2010-03-17 10:12:25 +0100 |
| commit | 814fb2daf425262db4a2a57f60e3022d699406e3 (patch) | |
| tree | 717135bc43223860a8b98371eb5f7254e6a71e9b /doc | |
| parent | 3f1b2dc4056ffc48405a74d5cf8554363ab5a21a (diff) | |
Working "global" section parsing
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 } } |