genode/repos/base-hw/src/core/kernel
Stefan Kalkowski 609f7abb0a hw: map a dataspace in core according to its flags
Thereby removing obsolete quirk for uncached CPU state dataspace
in VM session.

Fixes #1198
2014-07-24 10:18:06 +02:00
..
configuration.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
core_interface.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
double_list.h hw: for_each & safer type casts in Double_list 2014-06-26 12:09:40 +02:00
ipc_node.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
irq.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
irq.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
kernel.cc hw: map a dataspace in core according to its flags 2014-07-24 10:18:06 +02:00
kernel.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
object.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
pd.h hw: fix the TrustZone VM entry path 2014-06-26 10:57:27 +02:00
processor_pool.cc hw: avoid locks before cache initialization 2014-06-26 12:04:31 +02:00
processor_pool.h hw: fix bug in scheduler timing 2014-06-26 10:57:26 +02:00
processor.cc hw: move global TLB flush to extra class 2014-06-26 13:42:52 +02:00
processor.h hw: move global TLB flush to extra class 2014-06-26 13:42:52 +02:00
scheduler.h hw: move double list to extra header 2014-06-26 12:09:26 +02:00
signal_receiver.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
signal_receiver.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
thread_event.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
thread.cc hw: move global TLB flush to extra class 2014-06-26 13:42:52 +02:00
thread.h hw: move global TLB flush to extra class 2014-06-26 13:42:52 +02:00
vm.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
vm.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00