diff options
Diffstat (limited to 'demo')
-rw-r--r-- | demo/scheduler.hjson | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/demo/scheduler.hjson b/demo/scheduler.hjson new file mode 100644 index 0000000..29c7d31 --- /dev/null +++ b/demo/scheduler.hjson @@ -0,0 +1,24 @@ +[ + { + "match": [ + { + "sched_setscheduler": { + "policy": "SCHED_FIFO", + "param": { "priority": 1 } + } + } + ], + "call": [ + { + "sched_setscheduler": { + "pid": { "caller": "pid" }, + "policy": "SCHED_FIFO", + "param": { "priority": 1 } + } + } + ], + "return": { + "value": 0 + } + } +] |