Applied, thanks!
Damien Zammit, le ven. 11 août 2023 08:34:53 +, a ecrit:
> ---
> kern/sched_prim.c | 6 ++
> 1 file changed, 6 insertions(+)
>
> diff --git a/kern/sched_prim.c b/kern/sched_prim.c
> index dd0f492b..f7557124 100644
> --- a/kern/sched_prim.c
> +++ b/kern/sched_prim.c
> @@
---
kern/sched_prim.c | 6 ++
1 file changed, 6 insertions(+)
diff --git a/kern/sched_prim.c b/kern/sched_prim.c
index dd0f492b..f7557124 100644
--- a/kern/sched_prim.c
+++ b/kern/sched_prim.c
@@ -1266,6 +1266,8 @@ void thread_setrun(
processor->state = PROCESSOR_D