| .. |
|
include
|
core: simplify Rom_module and Rom_fs
|
2016-11-08 15:45:21 +01:00 |
|
spec/x86
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
capability_space.cc
|
Unification of native_capability.h
|
2016-07-11 13:07:37 +02:00 |
|
core_mem_alloc.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
core_region_map.cc
|
Assign threads to PD at its creation time
|
2016-05-09 13:10:52 +02:00 |
|
core_rpc_cap_alloc.cc
|
Integrate CAP session into PD session
|
2016-03-07 12:34:44 +01:00 |
|
cpu_session_component.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
cpu_session_support.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
cpu_thread_component.cc
|
Separation of thread operations from CPU session
|
2016-05-23 15:52:39 +02:00 |
|
dataspace_component.cc
|
Consolidate RM service into PD session
|
2016-05-09 13:10:51 +02:00 |
|
default_log.cc
|
base-*: remove usage of printf
|
2016-10-21 12:39:36 +02:00 |
|
dump_alloc.cc
|
base: replace dump utilities in Allocator_avl
|
2016-11-08 15:44:55 +01:00 |
|
io_mem_session_component.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
main.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
pager_ep.cc
|
base: unify page-fault notification for kernels
|
2016-09-09 11:49:34 +02:00 |
|
pager_object.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
pd_assign_pci.cc
|
Integrate SIGNAL session into PD session
|
2016-03-07 12:34:44 +01:00 |
|
pd_session_component.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
pd_upgrade_ram_quota.cc
|
Integrate SIGNAL session into PD session
|
2016-03-07 12:34:44 +01:00 |
|
platform_services.cc
|
Move repositories to 'repos/' subdirectory
|
2014-05-14 16:08:00 +02:00 |
|
ram_session_component.cc
|
core: fix regression in dataspace ownership test
|
2016-08-29 17:29:33 +02:00 |
|
region_map_component.cc
|
core: use weak_ptr for Rm_faulter and Region_map
|
2016-09-14 11:53:04 +02:00 |
|
rom_session_component.cc
|
core: simplify Rom_module and Rom_fs
|
2016-11-08 15:45:21 +01:00 |
|
rpc_cap_factory_l4.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
rpc_cap_factory.cc
|
Integrate CAP session into PD session
|
2016-03-07 12:34:44 +01:00 |
|
signal_source_component.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
stack_area.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
target.mk
|
core: unify handling of boot modules
|
2016-11-08 15:26:27 +01:00 |
|
trace_session_component.cc
|
base: avoid use of deprecated base/printf.h
|
2016-08-29 17:27:10 +02:00 |
|
version.cc
|
Move repositories to 'repos/' subdirectory
|
2014-05-14 16:08:00 +02:00 |
|
version.inc
|
Adapt version generation to new directory layout
|
2014-05-27 11:14:44 +02:00 |
f60cf697d2