ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4431ab7354
genode/repos/base-hw/src/core/include/kernel
History
Stefan Kalkowski b8f178e647 hw: move MMU-related functions into Address_space 
* Introduce a hw specific Address_space interface for protection
  domains, which combines all memory-virtualization related functionality
* Introduce a core-specific Platform_pd object that solves all the hen-egg
  problems formerly distributed in kernel and core-platform code

Ref #595
Ref #1443
2015-05-26 09:40:03 +02:00
..
configuration.h hw: change round-robin scheduling slice to 10 ms 2015-04-23 16:51:33 +02:00
core_interface.h hw: move MMU-related functions into Address_space 2015-05-26 09:40:03 +02:00
cpu_scheduler.h hw: separate function declaration/implementation 2015-05-06 10:55:23 +02:00
cpu.h hw: separate function declaration/implementation 2015-05-06 10:55:23 +02:00
double_list.h hw: separate function declaration/implementation 2015-05-06 10:55:23 +02:00
early_translations.h base: const-correctness of Allocator interface 2015-04-17 16:13:22 +02:00
fifo.h hw: add FIFO variant with for_each() method 2014-12-19 13:58:47 +01:00
ipc_node.h hw: separate function declaration/implementation 2015-05-06 10:55:23 +02:00
irq.h hw: acknowledge IRQs via Kernel::ack_irq 2015-05-06 10:55:23 +02:00
kernel.h base: remove local capability from generic base 2015-04-17 16:13:20 +02:00
lock.h hw: separate function declaration/implementation 2015-05-06 10:55:23 +02:00
object.h hw: replace kernel's object id allocators 2015-04-17 16:13:20 +02:00
pd.h hw: separate function declaration/implementation 2015-05-06 10:55:23 +02:00
perf_counter.h hw: re-organize file structure 2014-08-15 10:19:48 +02:00
signal_receiver.h hw: separate function declaration/implementation 2015-05-06 10:55:23 +02:00
thread_event.h hw: re-organize file structure 2014-08-15 10:19:48 +02:00
thread.h hw: acknowledge IRQs via Kernel::ack_irq 2015-05-06 10:55:23 +02:00
vm.h hw: replace kernel's object id allocators 2015-04-17 16:13:20 +02:00