Alexander Boettcher 9ae441e469 nova: replacement of generic Genode spinlock ...

Turn Genode user-level spinlock into a user-level "helpinglock". This requires
support by the kernel introduced with kernel branch r5.

The commit avoids live-locks when multiple threads with SCs on different
priority levels compete for the same user-level Genode "spinlock".

Issue #986

2014-04-16 17:30:31 +02:00

..

console

nova: remove cap_sel - use cap_map

2013-11-18 11:01:46 +01:00

env

base: setup thread object for main thread in CRT0

2014-02-25 14:58:05 +01:00

ipc

nova: use cap_map for IPC

2013-11-18 11:01:46 +01:00

lock

nova: replacement of generic Genode spinlock

2014-04-16 17:30:31 +02:00

pager

nova: set pager and native ec cap for main thread

2014-04-16 17:30:30 +02:00

server

base: add cpu_session parameter to thread creation

2014-04-14 12:32:31 +02:00

thread

nova: set pager and native ec cap for main thread

2014-04-16 17:30:30 +02:00