If no platform thread was created before somebody destroys a thread object, there is no valid UTCB available. Thereby, we've to check this before accessing the UTCB when destroying a thread object. |
||
---|---|---|
.. | ||
base | ||
bootstrap | ||
core | ||
kernel | ||
platform | ||
sigma0 | ||
test/cap_integrity |