From 59f7f7c241253293c25e001c9340f1deeb138311 Mon Sep 17 00:00:00 2001
From: Alice Frosi <afrosi@redhat.com>
Date: Fri, 1 Sep 2023 10:16:36 +0200
Subject: cooker, seitan: add sched_setscheduler

The sched_setscheduler requires to set the pid of the process we want to
change the priority, this adds a new metadata for getting the target pid
at runtime.

Add a couple of syscalls for the scheduler in the string parsing.

Signed-off-by: Alice Frosi <afrosi@redhat.com>
---
 demo/scheduler.hjson | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 demo/scheduler.hjson

(limited to 'demo')

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
+    }
+  }
+]
-- 
cgit v1.2.3