Martin Stein 87da21d967 hw: use platform-thread pointer as pager badge ...

ref #953

2013-11-25 09:45:30 +01:00

..

lock

Rework the internal lock interface

2013-02-25 22:14:21 +01:00

signal

hw: clearer naming scheme in kernel API

2013-11-25 09:45:30 +01:00

thread

hw: clearer naming scheme in kernel API

2013-11-25 09:45:30 +01:00

console.cc

base-hw: Avoid early calls of cmpxchg

2013-05-15 20:47:46 +02:00

ipc.cc

hw: clearer naming scheme in kernel API

2013-11-25 09:45:30 +01:00

pager.cc

hw: use platform-thread pointer as pager badge

2013-11-25 09:45:30 +01:00

placement_new.h

hw: provide placement via dedicated header

2013-11-14 19:57:30 +01:00

singleton.h

hw: provide placement via dedicated header

2013-11-14 19:57:30 +01:00

thread_support.cc

hw: always remove RM client on thread destruction

2013-09-26 16:09:56 +02:00