| .. |
|
configuration.h
|
hw: remove core internal header directories
|
2017-05-31 13:15:52 +02:00 |
|
core_interface.h
|
hw: add system call for irq mode setting
|
2019-08-21 13:25:25 +02:00 |
|
cpu_context.h
|
hw: increase timing accuracy of kernel (fix #3081)
|
2019-03-18 15:56:23 +01:00 |
|
cpu_mp.cc
|
hw: integrate interrupt controllers into board.h
|
2019-08-13 12:02:26 +02: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
|
hw: integrate interrupt controllers into board.h
|
2019-08-13 12:02:26 +02:00 |
|
cpu.h
|
Clang: need a GCC diagnostic push for every pop
|
2019-10-03 22:06:34 +02: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
|
hw: replace lock-safe log variants in kernel
|
2019-04-09 12:30:35 +02:00 |
|
ipc_node.h
|
Remove pointers from Genode::Fifo interface
|
2019-02-19 11:08:17 +01:00 |
|
irq.cc
|
hw: integrate interrupt controllers into board.h
|
2019-08-13 12:02:26 +02:00 |
|
irq.h
|
Add missing override annotations
|
2019-02-19 11:12:11 +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 power-saving kernel lock for ARM smp
|
2019-04-01 19:33:47 +02:00 |
|
log.h
|
hw: remove core internal header directories
|
2017-05-31 13:15:52 +02:00 |
|
object.cc
|
Multiple inheritance considered harmful
|
2019-10-04 00:52:02 +02:00 |
|
object.h
|
Multiple inheritance considered harmful
|
2019-10-04 00:52:02 +02:00 |
|
pd.h
|
hw: change update_pd to invalidate_tlb
|
2019-07-09 08:55:22 +02:00 |
|
perf_counter.h
|
hw: remove core internal header directories
|
2017-05-31 13:15:52 +02:00 |
|
signal_receiver.cc
|
Remove pointers from Genode::Fifo interface
|
2019-02-19 11:08:17 +01:00 |
|
signal_receiver.h
|
Remove pointers from Genode::Fifo interface
|
2019-02-19 11:08:17 +01:00 |
|
thread.cc
|
hw: add system call for irq mode setting
|
2019-08-21 13:25:25 +02:00 |
|
thread.h
|
hw: add system call for irq mode setting
|
2019-08-21 13:25:25 +02:00 |
|
timer.cc
|
hw: move timer into board.h
|
2019-08-13 12:02:26 +02:00 |
|
timer.h
|
hw: move timer into board.h
|
2019-08-13 12:02:26 +02: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: name vm_state header explicitely
|
2019-04-01 19:33:49 +02:00 |
|
vm.h
|
hw: name vm_state header explicitely
|
2019-04-01 19:33:49 +02:00 |
