ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-23 09:15:36 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
23b21812dd44d3b0facbffacedf9da524d14c91e
genode/repos/base/src/core
History
Norman Feske dc89ebf978 core: kernel-agnostic 'Mapping' type 
This patch unifies the core-internal 'Mapping' type across all base
platforms.

As one minor downside on seL4, the diagnostic error messages when
observing faults other than page faults no longer print the faulting
thread and PD names.

Issue #2243
2021-04-20 12:10:57 +02:00
..
include
core: kernel-agnostic 'Mapping' type
2021-04-20 12:10:57 +02:00
spec/x86
vm_session: support to trace vCPU
2019-05-06 16:15:26 +02:00
capability_space.cc
core: add Platform::max_caps()
2017-05-31 13:16:03 +02:00
core_log.cc
core: add support to export log output as ROM
2017-12-21 15:01:46 +01:00
core_mem_alloc.cc
base: Refine Range_allocator::alloc_aligned
2021-04-20 12:03:04 +02:00
core_region_map.cc
base: support to attach RAM dataspaces readonly
2018-05-30 13:36:27 +02:00
core_rpc_cap_alloc.cc
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
cpu_session_component.cc
Remove Allocator_guard
2020-05-18 10:16:12 +02:00
cpu_session_support.cc
core: add kernel-specific UTCB quota bookkeeping
2020-02-20 12:11:21 +01:00
cpu_thread_component.cc
base: remove deprecated cancel_blocking() support
2020-07-13 11:33:12 +02:00
dataspace_component.cc
core: use Mutex/Blockade
2020-04-17 12:40:12 +02:00
default_log.cc
base: remove dependency from deprecated APIs
2019-02-19 11:08:17 +01:00
dump_alloc.cc
core: improve formatting of allocator dumps
2017-03-24 16:19:58 +01:00
heartbeat.cc
init: health monitoring of child components
2018-11-27 11:36:34 +01:00
io_mem_session_component.cc
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
main.cc
Propagate session diag flag to core
2020-12-09 14:02:11 +01:00
pager_ep.cc
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
pager_object.cc
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
pd_session_component.cc
base/cache.h: rename Cache_attribute to Cache
2021-04-20 12:10:31 +02:00
pd_session_support.cc
base: extend PD session with managing_system call
2020-08-25 11:50:11 +02:00
platform_rom_modules.cc
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
platform_services.cc
vm_session: support to trace vCPU
2019-05-06 16:15:26 +02:00
ram_dataspace_factory.cc
base/cache.h: rename Cache_attribute to Cache
2021-04-20 12:10:31 +02:00
region_map_component.cc
core: kernel-agnostic 'Mapping' type
2021-04-20 12:10:57 +02:00
rom_session_component.cc
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
rpc_cap_factory_l4.cc
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
rpc_cap_factory.cc
core: use Mutex/Blockade
2020-04-17 12:40:12 +02:00
signal_receiver.cc
base: don't throw exceptions in 'Signal_receiver::pending_signal()'
2020-11-23 12:02:49 +01:00
signal_source_component.cc
Remove pointers from Genode::Fifo interface
2019-02-19 11:08:17 +01:00
signal_transmitter_noinit.cc
core: use separate signal ep
2017-11-30 11:23:11 +01:00
signal_transmitter_proxy.cc
base: remove delayed dispatch from Rpc_entrypoint
2020-08-25 11:42:36 +02:00
stack_area.cc
base/cache.h: rename Cache_attribute to Cache
2021-04-20 12:10:31 +02:00
target.inc
mk: link core to library archive instead of .o file
2021-02-23 12:17:04 +01:00
trace_session_component.cc
base: drop Trace::Session_component::_parent_levels
2020-11-27 09:19:08 +01:00
version.cc
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
version.inc
core: avoid using BASE_DIR in vpath
2017-05-02 15:29:03 +02:00
vm_session_common.cc
base: refactor VM/vCPU API
2021-02-23 12:07:18 +01:00