Stefan Kalkowski b32af4e0a4 hw: directly reference kernel objects from core ... Instead of handing over object ids to the kernel, which has to find them in object pools then, core can simply use object pointers to reference kernel objects. Ref #1443		2015-04-17 16:13:20 +02:00
..
configuration.h	hw: replace kernel's object id allocators	2015-04-17 16:13:20 +02:00
core_interface.h	hw: directly reference kernel objects from core	2015-04-17 16:13:20 +02:00
cpu_scheduler.h	hw: helping on IPC	2014-12-19 13:58:47 +01:00
cpu.h	hw: extend kernel interrupt class	2015-02-27 11:43:56 +01:00
double_list.h	hw: add and test totally sophisticated scheduler	2014-11-28 12:02:35 +01:00
early_translations.h	base: support range restriction in allocator	2015-02-16 13:40:38 +01:00
fifo.h	hw: add FIFO variant with for_each() method	2014-12-19 13:58:47 +01:00
ipc_node.h	hw: helping on IPC	2014-12-19 13:58:47 +01:00
irq.h	hw_arndale: enable ARM virtualization extensions	2015-02-27 11:48:05 +01:00
kernel.h	base: remove local capability from generic base	2015-04-17 16:13:20 +02:00
object.h	hw: replace kernel's object id allocators	2015-04-17 16:13:20 +02:00
pd.h	hw: replace kernel's object id allocators	2015-04-17 16:13:20 +02:00
perf_counter.h	hw: re-organize file structure	2014-08-15 10:19:48 +02:00
signal_receiver.h	hw: replace kernel's object id allocators	2015-04-17 16:13:20 +02:00
thread_event.h	hw: re-organize file structure	2014-08-15 10:19:48 +02:00
thread.h	hw: directly reference kernel objects from core	2015-04-17 16:13:20 +02:00
vm.h	hw: replace kernel's object id allocators	2015-04-17 16:13:20 +02:00