ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
12.02
genode/base-nova/src/base
History
Christian Prochaska 4b1f182e61 Unlock guarded lock before sending IPC error reply 
Sending a reply message does not return, so the guarded lock needs to get
unlocked manually.

This patch fixes #117.
2012-02-15 09:26:21 +01:00
..
console Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
env Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
ipc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
lock Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
pager Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
server Unlock guarded lock before sending IPC error reply 2012-02-15 09:26:21 +01:00
thread Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00