apio a6f0a7056f Scheduler: Set the user_task field in a Task at creation time
We were previously looking at its segment registers to see if they were user-like, but this method is bad.
What is the task was executing a system call?

So now, we store that value at creation time.
2022-10-12 17:07:39 +02:00
..
2022-10-06 17:13:34 +02:00
2022-09-19 16:36:34 +02:00
2022-09-18 20:16:46 +02:00