Martin Stein 909c2dbc95 hw: remove note feature from IPC framework ... ref #589		2013-09-26 15:58:04 +02:00
..
configuration.h	hw: kernel configuration in dedicated header	2013-09-26 15:58:03 +02:00
ipc_node.h	hw: remove note feature from IPC framework	2013-09-26 15:58:04 +02:00
irq_receiver.h	hw: IRQ receiver in extra header & reviewed	2013-09-26 15:58:03 +02:00
object.h	hw: object in extra header & asserts reviewed	2013-09-26 15:58:03 +02:00
pd.h	hw: PD in extra header with asserts reviewed	2013-09-26 15:58:04 +02:00
scheduler.h	hw: scheduler in extra header & asserts reviewed	2013-09-26 15:58:03 +02:00
signal_receiver.cc	hw: destruct signal receivers	2013-09-26 15:58:04 +02:00
signal_receiver.h	hw: destruct signal sessions	2013-09-26 15:58:04 +02:00
thread.h	hw: handle pagefaults via IPC request/reply	2013-09-26 15:58:04 +02:00