Re: [PATCH 2/2] cobalt/sched: tp: check partition id obtained from user

2019-08-30 Thread Jan Kiszka via Xenomai
On 30.08.19 18:05, Philippe Gerum wrote: Signed-off-by: Philippe Gerum --- kernel/cobalt/sched-tp.c | 4 1 file changed, 4 insertions(+) diff --git a/kernel/cobalt/sched-tp.c b/kernel/cobalt/sched-tp.c index d3e2586b0..ccff37428 100644 --- a/kernel/cobalt/sched-tp.c +++

[PATCH 2/2] cobalt/sched: tp: check partition id obtained from user

2019-08-30 Thread Philippe Gerum via Xenomai
Signed-off-by: Philippe Gerum --- kernel/cobalt/sched-tp.c | 4 1 file changed, 4 insertions(+) diff --git a/kernel/cobalt/sched-tp.c b/kernel/cobalt/sched-tp.c index d3e2586b0..ccff37428 100644 --- a/kernel/cobalt/sched-tp.c +++ b/kernel/cobalt/sched-tp.c @@ -168,6 +168,10 @@ static int