demo/scheduler.hjson


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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
    }
  }
]