diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-09-01 10:16:36 +0200 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-09-01 10:37:04 +0200 |
| commit | 59f7f7c241253293c25e001c9340f1deeb138311 (patch) | |
| tree | 4be7c160cbec552f5d5d3dcd88e85c1b98407749 /Makefile | |
| parent | aecd6adbd2f5ce12437215fe2e64e004d28db86b (diff) | |
| download | seitan-59f7f7c241253293c25e001c9340f1deeb138311.tar seitan-59f7f7c241253293c25e001c9340f1deeb138311.tar.gz seitan-59f7f7c241253293c25e001c9340f1deeb138311.tar.bz2 seitan-59f7f7c241253293c25e001c9340f1deeb138311.tar.lz seitan-59f7f7c241253293c25e001c9340f1deeb138311.tar.xz seitan-59f7f7c241253293c25e001c9340f1deeb138311.tar.zst seitan-59f7f7c241253293c25e001c9340f1deeb138311.zip | |
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>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions