Kees Bakker

The changes look good to me. I've manually checked a few tests and they give the expected output.

How about grepping for `(thread_t*)sched_active_thread` and remove the casts? Something like `\(thread_t\s*\*\)\s*sched_active_thread` gives 32 hits

More things to weed out. ``` sys/posix/pthread/pthread.c:285: kernel_pid_t pid = sched_active_pid; /* sched_active_pid is volatile */ ```

What's our thought on this one? ``` volatile thread_t *thread_get(kernel_pid_t pid); ``` Can we drop `volatile` here too? I think we can. And if we do, we can remove a...

I see that the subject of the PR is PoC (Proof of Concept?). In that case we don't care too much about completeness, just that this is the right track....

A work around is to comment out everything in `get_pytest_options.py`, or to install `python3-pytest`. Of course the code in `get_pytest_options.py` should be able to handle the absence of `_pytest`. ```python...

Can you show me where and how this `get_pytest_options.py` is used?