genode/repos/base-hw/src/core/kernel
Martin Stein 5a95183c3e base-hw: avoid that Ipc_node inherits
Besides simplifying inheritance hierarchies in base-hw, this prepares for the
in-place translation of the synchronous-IPC module to Ada in the context of the
Spunky project.

Ref #3308
2020-02-20 12:11:21 +01:00
..
configuration.h hw: remove core internal header directories 2017-05-31 13:15:52 +02:00
core_interface.h hw: turn Kernel_object into Genode::Constructible 2019-11-19 14:42:23 +01:00
cpu_context.h base-hw: add trace execution time support 2019-12-19 17:01:42 +01:00
cpu_mp.cc hw: implement multi-processor support for i.MX8 2019-11-19 14:42:22 +01:00
cpu_scheduler.cc hw: increase timing accuracy of kernel (fix #3081) 2019-03-18 15:56:23 +01:00
cpu_scheduler.h hw: increase timing accuracy of kernel (fix #3081) 2019-03-18 15:56:23 +01:00
cpu_up.cc hw: improve cross-cpu synchronization 2019-01-07 12:25:44 +01:00
cpu.cc base-hw: add trace execution time support 2019-12-19 17:01:42 +01:00
cpu.h base-hw: add trace execution time support 2019-12-19 17:01:42 +01:00
double_list.cc Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
double_list.h Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
init.cc hw: integrate interrupt controllers into board.h 2019-08-13 12:02:26 +02:00
inter_processor_work.h hw: improve cross-cpu synchronization 2019-01-07 12:25:44 +01:00
ipc_node.cc base-hw: avoid that Ipc_node inherits 2020-02-20 12:11:21 +01:00
ipc_node.h base-hw: avoid that Ipc_node inherits 2020-02-20 12:11:21 +01:00
irq.cc hw: turn Kernel_object into Genode::Constructible 2019-11-19 14:42:23 +01:00
irq.h hw: turn Kernel_object into Genode::Constructible 2019-11-19 14:42:23 +01:00
kernel.cc base/core: use references instead of pointers 2019-02-12 10:33:13 +01:00
kernel.h hw: integrate interrupt controllers into board.h 2019-08-13 12:02:26 +02:00
lock.cc hw: implement power-saving kernel lock for ARM smp 2019-04-01 19:33:47 +02:00
lock.h hw: implement multi-processor support for i.MX8 2019-11-19 14:42:22 +01:00
log.h hw: remove core internal header directories 2017-05-31 13:15:52 +02:00
object.cc base/core: use references instead of pointers 2019-02-12 10:33:13 +01:00
object.h hw: turn Kernel_object into Genode::Constructible 2019-11-19 14:42:23 +01:00
pd.h hw: turn Kernel_object into Genode::Constructible 2019-11-19 14:42:23 +01:00
perf_counter.h hw: remove core internal header directories 2017-05-31 13:15:52 +02:00
signal_receiver.cc hw: turn Kernel_object into Genode::Constructible 2019-11-19 14:42:23 +01:00
signal_receiver.h hw: turn Kernel_object into Genode::Constructible 2019-11-19 14:42:23 +01:00
thread.cc base-hw: no PD code / virt methods in Ipc_node 2020-02-20 12:11:21 +01:00
thread.h base-hw: no PD code / virt methods in Ipc_node 2020-02-20 12:11:21 +01:00
timer.cc base-hw: add trace execution time support 2019-12-19 17:01:42 +01:00
timer.h base-hw: add trace execution time support 2019-12-19 17:01:42 +01:00
vm_thread_off.cc Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
vm_thread_on.cc hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00
vm.h hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00