Martin Stein 77130a9404 hw: replace unsynchronized by unmanaged singleton ...

ref #989

2013-12-20 14:48:05 +01:00

..

lock

hw: no default values for kernel-call args

2013-11-26 14:32:07 +01:00

signal

hw: provide Signal_context::submit

2013-11-28 08:22:24 +01:00

thread

hw: turn Native_utcb into restrictive class

2013-12-03 08:33:24 +01:00

console.cc

hw: replace unsynchronized by unmanaged singleton

2013-12-20 14:48:05 +01:00

ipc.cc

hw: turn Native_utcb into restrictive class

2013-12-03 08:33:24 +01:00

pager.cc

hw: dissolve signal context in Pager_entrypoint

2013-12-03 08:33:24 +01:00

placement_new.h

hw: replace unsynchronized by unmanaged singleton

2013-12-20 14:48:05 +01:00

thread_support.cc

hw: don't communicate main-thread UTCB via SP

2013-12-03 08:33:24 +01:00