denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
103 Commits 10 Branches 51 Tags
a3266f8ec755df88a0efb3ab638dac61bb342ded
Commit Graph

4 Commits

Author SHA1 Message Date
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
Norman Feske
3ea9467343 Removed stale printf_stdio lib from base-nova 2012-01-25 13:04:04 +01:00
Norman Feske
08ce32215d Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
Genode Labs
da4e1feaa5 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00