Alexander Boettcher 938c7fa130 NOVA: call kill_thread of cpu_session ...

If a thread has been deleted the thread object at the cpu_session was never
freed which caused the cpu_session quota to be exhausted as reported in
issue #150.

Fixes #150

2012-07-19 21:05:51 +02:00

..

console

Only write UART if transmitter-hold register empty

2012-07-16 10:35:24 +02:00

env

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

ipc

Fix: reset word counter in case of failed IPC.

2012-07-04 14:56:44 +02:00

lock

Use down-to-zero semaphore feature to block thread

2012-07-04 14:56:46 +02:00

pager

NOVA: Deadlock fix in pager/rm_session interaction

2012-07-04 14:56:46 +02:00

server

Fix: Avoid deadlock during cleanup of entrypoint

2012-07-04 14:56:45 +02:00

thread

NOVA: call kill_thread of cpu_session

2012-07-19 21:05:51 +02:00