genodelabs/genode — pull request #523 by alex-ab (2012-11-27 09:50:34+00:00)
Title: NOVA: Remove obsolete cap selector lock

We can use the Genode::Lock abstraction instead of a separate native SM cap.

The code where required some months ago, but became obsolete as now the handling of the main threads in core and in the childs are unified - so each thread has now its own SM cap which is used by the Genode::Lock abstraction.