Update thread creation to yield thread in case it's no longer the highest priority

This commit is contained in:
Themis Demetriades
2024-10-15 15:12:01 +01:00
parent 6855a48603
commit 54b46806ba

View File

@@ -219,6 +219,7 @@ thread_create (const char *name, int priority,
/* Add to run queue. */
thread_unblock (t);
thread_yield ();
return tid;
}