{
  "tensions": [
    {
      "name": "proc.schedule_rr",
      "priority": 10,
      "match": [
        {"bind": "proc", "in": "proc.READY", "select": "first"},
        {"bind": "cpu", "empty_in": ["proc.CPU0"]}
      ],
      "emit": [
        {"move": "proc.schedule", "entity": "proc", "to": "cpu"}
      ]
    }
  ]
}
