genode/base-linux
Norman Feske 087582a964 Linux: Synchronize thread startup
The thread ID reported to core was not always initialized prior the RPC
call. The 'startup_lock' ensures that the thread is completely
initialized before this information gets propagated.
2012-11-05 17:31:05 +01:00
..
2011-12-22 16:19:25 +01:00
2012-11-05 17:31:04 +01:00
2012-11-05 17:31:05 +01:00
2011-12-22 16:19:25 +01:00

This repository contains the Linux-specific implementation of Genode.