Josef Söntgen 36f91c2007 libc: add Genode::Lock to File_descriptor class
This lock is needed to prevent multiple threads and/or multiple
libc-plugins from using the same file descriptor in p{read,write}.

Fixes #948.
2013-11-26 16:50:52 +01:00
..
2013-11-26 14:32:07 +01:00
2013-11-26 16:50:52 +01:00
2013-08-13 17:27:40 +02:00
2013-11-18 11:01:45 +01:00