.. |
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
|
base-hw: cpu scheduler without inheritance
|
2020-02-20 12:11:21 +01:00 |
cpu_scheduler.h
|
base-hw: cpu scheduler without inheritance
|
2020-02-20 12:11:21 +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.h
|
base-hw: double list without inheritance
|
2020-02-20 12:11:21 +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: Ada/SPARK-friendly Ipc_node interface
|
2020-02-20 12:11:21 +01:00 |
ipc_node.h
|
base-hw: Ada/SPARK-friendly Ipc_node interface
|
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
|
base-hw: no error return codes in signaling
|
2020-02-20 12:11:21 +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-hw: do not inherit Kernel::Object
|
2020-02-20 12:11:21 +01:00 |
object.h
|
base-hw: do not inherit Kernel::Object
|
2020-02-20 12:11:21 +01:00 |
pd.h
|
base-hw: do not inherit Kernel::Object
|
2020-02-20 12:11:21 +01:00 |
perf_counter.h
|
hw: remove core internal header directories
|
2017-05-31 13:15:52 +02:00 |
signal_receiver.cc
|
base-hw: no error return codes in signaling
|
2020-02-20 12:11:21 +01:00 |
signal_receiver.h
|
base-hw: no error return codes in signaling
|
2020-02-20 12:11:21 +01:00 |
thread.cc
|
base-hw: no error return codes in signaling
|
2020-02-20 12:11:21 +01:00 |
thread.h
|
base-hw: obsolete Kernel::Thread::_signal_receiver
|
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
|
base-hw: do not inherit Kernel::Object
|
2020-02-20 12:11:21 +01:00 |