Martin Stein 45d37e275d hw: send request size through UTCB ... ref #874		2013-11-14 19:56:38 +01:00
..
configuration.h	hw: relax signal limits for resource_request test	2013-10-16 09:26:11 +02:00
ipc_node.h	hw: return error code on IPC replies	2013-10-16 09:26:10 +02:00
irq_receiver.h	hw: IRQ receiver in extra header & reviewed	2013-09-26 15:58:03 +02:00
kernel.h	hw: header and source file for Kernel::Vm	2013-11-14 19:56:38 +01:00
object.h	hw: differ ID allocators even with same size	2013-10-22 08:00:14 +02:00
pd.h	hw: make Kernel::mtc() global	2013-11-14 19:56:38 +01:00
priority.h	hw: implement priority-based scheduling (fix #945)	2013-11-12 15:01:54 +01:00
scheduler.h	hw: header and source file for Kernel::Vm	2013-11-14 19:56:38 +01:00
signal_receiver.cc	hw: kill signal receivers	2013-10-16 09:26:10 +02:00
signal_receiver.h	hw: differ ID allocators even with same size	2013-10-22 08:00:14 +02:00
thread.cc	hw: send request size through UTCB	2013-11-14 19:56:38 +01:00
thread.h	hw: clean up interface of Kernel::Thread	2013-11-14 19:56:38 +01:00
vm.cc	hw: header and source file for Kernel::Vm	2013-11-14 19:56:38 +01:00
vm.h	hw: header and source file for Kernel::Vm	2013-11-14 19:56:38 +01:00