Sebastian Sumpf 0c3dfbad65 base-hw: use signal context list for pending signals ... 'block_for_signal' and 'pending_signal' now set pending flag in signal context in order to determine pending signal. The context list is also used by the 'Signal_receiver' during destruction. Fixes #1738		2015-11-27 12:18:50 +01:00
..
arm/kernel	hw: re-organize file structure	2014-08-15 10:19:48 +02:00
cpu	base: interface for D- and I-cache synchronization	2014-05-27 11:14:45 +02:00
ipc	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00
lock	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00
server	base: redesign object pool using lambda interface	2015-09-09 15:14:28 +02:00
signal	base-hw: use signal context list for pending signals	2015-11-27 12:18:50 +01:00
thread	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00
x86_64/kernel	Update or add hw_x86_64 copyright headers	2015-03-27 11:53:32 +01:00
capability.cc	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00
env.cc	hw: kernel backed capabilities (Fix #1443)	2015-05-26 09:40:04 +02:00