diff options
Diffstat (limited to 'doc/global.json')
| -rw-r--r-- | doc/global.json | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/global.json b/doc/global.json new file mode 100644 index 0000000..58dbfb3 --- /dev/null +++ b/doc/global.json @@ -0,0 +1,12 @@ +{ + "global" : { + "default_policy" : "SCHED_OTHER", + "duration" : 5, + "ftrace" : true, + "gnuplot" : true, + "logdir" : "/tmp/", + "log_basename" : "rt-app", + "lock_pages" : true, + "frag" : 1 + } +} |