ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
22c9157231
genode/repos/base-pistachio/lib/mk/core-pistachio.inc

78 lines
3.1 KiB
PHP
Raw Normal View History

pistachio,fiasco: don't rely on BASE_DIR for vpath This patch corresponds to the patch "okl4: don't rely on BASE_DIR for vpath", addressing the L4/Fiasco and L4ka::Pistachio kernels.
2017-04-18 13:56:31 +00:00
LIBS = base-pistachio-common syscall-pistachio cxx
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
pistachio,fiasco: don't rely on BASE_DIR for vpath This patch corresponds to the patch "okl4: don't rely on BASE_DIR for vpath", addressing the L4/Fiasco and L4ka::Pistachio kernels.
2017-04-18 13:56:31 +00:00
GEN_CORE_DIR := $(dir $(call select_from_repositories,src/core/main.cc))
GEN_SRC_DIR := $(realpath $(GEN_CORE_DIR)/..)
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
base: hide internals of the Thread API This patch moves details about the stack allocation and organization the base-internal headers. Thereby, I replaced the notion of "thread contexts" by "stacks" as this term is much more intuitive. The fact that we place thread-specific information at the bottom of the stack is not worth introducing new terminology. Issue #1832
2016-01-23 13:42:55 +00:00
SRC_CC = stack_area.cc \
core: add support to export log output as ROM Issue #2207
2017-12-11 12:05:08 +00:00
core_log.cc \
base-*: rename core_log.cc to core_log_out.cc Issue #2207
2017-12-12 09:53:03 +00:00
core_log_out.cc \
Integrate CAP session into PD session This patch integrates the functionality of the former CAP session into the PD session and unifies the approch of supplementing the generic PD session with kernel-specific functionality. The latter is achieved by the new 'Native_pd' interface. The kernel-specific interface can be obtained via the Pd_session::native_pd accessor function. The kernel-specific interfaces are named Nova_native_pd, Foc_native_pd, and Linux_native_pd. The latter change allowed for to deduplication of the pd_session_component code among the various base platforms. To retain API compatibility, we keep the 'Cap_session' and 'Cap_connection' around. But those classes have become mere wrappers around the PD session interface. Issue #1841
2016-01-19 19:24:22 +00:00
core_rpc_cap_alloc.cc \
Assign threads to PD at its creation time This patch replaces the former 'Pd_session::bind_thread' function by a PD-capability argument of the 'Cpu_session::create_thread' function, and removes the ancient thread-start protocol via 'Rm_session::add_client' and 'Cpu_session::set_pager'. Threads are now bound to PDs at their creation time and implicitly paged according to the address space of the PD. Note the API change: This patch changes the signature of the 'Child' and 'Process' constructors. There is a new 'address_space' argument, which represents the region map representing the child's address space. It is supplied separately to the PD session capability (which principally can be invoked to obtain the PD's address space) to allow the population of the address space without relying on an 'Pd_session::address_space' RPC call. Furthermore, a new (optional) env_pd argument allows the explicit overriding of the PD capability handed out to the child as part of its environment. It can be used to intercept the interaction of the child with its PD session at core. This is used by Noux. Issue #1938
2016-04-20 19:12:57 +00:00
core_region_map.cc \
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
cpu_session_component.cc \
core: add kernel-specific UTCB quota bookkeeping Fix #859
2020-01-31 14:50:34 +00:00
cpu_session_support.cc \
Separation of thread operations from CPU session This patch moves the thread operations from the 'Cpu_session' to the 'Cpu_thread' interface. A noteworthy semantic change is the meaning of the former 'exception_handler' function, which used to define both, the default exception handler or a thread-specific signal handler. Now, the 'Cpu_session::exception_sigh' function defines the CPU-session-wide default handler whereas the 'Cpu_thread::exception_sigh' function defines the thread-specific one. To retain the ability to create 'Child' objects without invoking a capability, the child's initial thread must be created outside the 'Child::Process'. It is now represented by the 'Child::Initial_thread', which is passed as argument to the 'Child' constructor. Fixes #1939
2016-05-10 16:05:38 +00:00
cpu_thread_component.cc \
Unification of native_capability.h This patch establishes the sole use of generic headers across all kernels. The common 'native_capability.h' is based on the version of base-sel4. All traditional L4 kernels and Linux use the same implementation of the capability-lifetime management. On base-hw, NOVA, Fiasco.OC, and seL4, custom implementations (based on their original mechanisms) are used, with the potential to unify them further in the future. This change achieves binary compatibility of dynamically linked programs across all kernels. Furthermore, the patch introduces a Native_capability::print method, which allows the easy output of the kernel-specific capability representation using the base/log.h API. Issue #1993
2016-06-15 13:04:54 +00:00
capability_space.cc \
base: remove pager code from public API Fix #1593
2015-06-19 12:58:18 +00:00
dataspace_component.cc \
base: new interface for textual output Issue #1942
2016-05-03 14:31:17 +00:00
default_log.cc \
base: remove pager code from public API Fix #1593
2015-06-19 12:58:18 +00:00
dump_alloc.cc \
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
io_mem_session_component.cc \
io_mem_session_support.cc \
base: remove pager code from public API Fix #1593
2015-06-19 12:58:18 +00:00
irq_session_component.cc \
kip.cc \
main.cc \
Unification of native_capability.h This patch establishes the sole use of generic headers across all kernels. The common 'native_capability.h' is based on the version of base-sel4. All traditional L4 kernels and Linux use the same implementation of the capability-lifetime management. On base-hw, NOVA, Fiasco.OC, and seL4, custom implementations (based on their original mechanisms) are used, with the potential to unify them further in the future. This change achieves binary compatibility of dynamically linked programs across all kernels. Furthermore, the patch introduces a Native_capability::print method, which allows the easy output of the kernel-specific capability representation using the base/log.h API. Issue #1993
2016-06-15 13:04:54 +00:00
rpc_cap_factory_l4.cc \
core: split RAM dataspace factory from RAM service By separating the session-interface concerns from the mechanics of the dataspace creation, the code becomes simpler to follow, and the RAM session can be more easily merged with the PD session in a subsequent step. Issue #2407
2017-05-11 13:03:03 +00:00
ram_dataspace_factory.cc \
core: add map method to pd_session interface The method can be used to trigger the eager insertion of page frames into page tables. Intention: to be used for memory used for DMA. Issue #2209
2017-08-02 15:30:49 +00:00
pd_session_support.cc \
base: remove pager code from public API Fix #1593
2015-06-19 12:58:18 +00:00
pager.cc \
core: unify and simplify paging code (Fix #1641) For most platforms except of NOVA a distinction between pager entrypoint and pager activation is not needed, and only exists due to historical reasons. Moreover, the pager thread's execution path is almost identical between most platforms excluding NOVA, HW, and Fisco.OC. Therefore, this commit unifies the pager loop for the other platforms, and removes the pager activation class.
2015-07-29 08:58:17 +00:00
pager_ep.cc \
pager_object.cc \
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
platform.cc \
core: generic ROM module initialization For most base platforms (except linux and sel4), the initialization of boot modules is the same. Thus, merge this default implementation in the new unit base/src/core/platform_rom_modules.cc. Ref #2490
2017-08-17 14:20:56 +00:00
platform_rom_modules.cc \
base: remove pager code from public API Fix #1593
2015-06-19 12:58:18 +00:00
platform_pd.cc \
Introduce platform-specific services for core By now all services in core where created, and registered in the generic main routine. Although there exists already a x86-specific service (I/O ports) there was no possibility to announce core-services for certain platforms only. This commit introduces a hook function in the 'Platform' class, that enables registration of platform-specific services. Moreover, the io-port service is offered on x86 platforms only now.
2012-10-02 11:11:58 +00:00
platform_services.cc \
base: remove pager code from public API Fix #1593
2015-06-19 12:58:18 +00:00
platform_thread.cc \
Integrate core's RAM service into the PD service Fixes #2407
2017-05-11 18:03:28 +00:00
pd_session_component.cc \
core: split RAM dataspace factory from RAM service By separating the session-interface concerns from the mechanics of the dataspace creation, the code becomes simpler to follow, and the RAM session can be more easily merged with the PD session in a subsequent step. Issue #2407
2017-05-11 13:03:03 +00:00
ram_dataspace_support.cc \
Consolidate RM service into PD session This patch integrates three region maps into each PD session to reduce the session overhead and to simplify the PD creation procedure. Please refer to the issue cited below for an elaborative discussion. Note the API change: With this patch, the semantics of core's RM service have changed. Now, the service is merely a tool for creating and destroying managed dataspaces, which are rarely needed. Regular components no longer need a RM session. For this reason, the corresponding argument for the 'Process' and 'Child' constructors has been removed. The former interface of the 'Rm_session' is not named 'Region_map'. As a minor refinement, the 'Fault_type' enum values are now part of the 'Region_map::State' struct. Issue #1938
2016-04-15 13:19:22 +00:00
region_map_component.cc \
base: remove pager code from public API Fix #1593
2015-06-19 12:58:18 +00:00
rom_session_component.cc \
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
signal_source_component.cc \
base: restructure signal-submit initialization This patch allows core's 'Signal_transmitter' implementation to sidestep the 'Env::Pd' interface and thereby adhere to a stricter layering within core. The 'Signal_transmitter' now uses - on kernels that depend on it - a dedicated (and fairly freestanding) RPC proxy mechanism for signal deliver, instead of channeling signals through the 'Pd_session::submit' RPC function.
2017-05-10 18:11:38 +00:00
signal_transmitter_proxy.cc \
signal_receiver.cc \
base: remove pager code from public API Fix #1593
2015-06-19 12:58:18 +00:00
thread_start.cc \
init: health monitoring of child components Fixes #3039
2018-11-14 15:19:30 +00:00
trace_session_component.cc \
heartbeat.cc
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
base: uniform base-internal header structure This patch establishes a common organization of header files internal to the base framework. The internal headers are located at '<repository>/src/include/base/internal/'. This structure has been choosen to make the nature of those headers immediately clear when included: #include <base/internal/lock_helper.h> Issue #1832
2016-01-20 17:27:18 +00:00
INC_DIR += $(REP_DIR)/src/core/include $(GEN_CORE_DIR)/include \
pistachio,fiasco: don't rely on BASE_DIR for vpath This patch corresponds to the patch "okl4: don't rely on BASE_DIR for vpath", addressing the L4/Fiasco and L4ka::Pistachio kernels.
2017-04-18 13:56:31 +00:00
$(REP_DIR)/src/include $(GEN_SRC_DIR)/include
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
Provide Genode version information in log Fixes #551
2014-03-18 15:23:52 +00:00
include $(GEN_CORE_DIR)/version.inc
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
vpath main.cc $(GEN_CORE_DIR)
Integrate core's RAM service into the PD service Fixes #2407
2017-05-11 18:03:28 +00:00
vpath pd_session_component.cc $(GEN_CORE_DIR)
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
vpath rom_session_component.cc $(GEN_CORE_DIR)
core: add support to export log output as ROM Issue #2207
2017-12-11 12:05:08 +00:00
vpath core_log.cc $(GEN_CORE_DIR)
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
vpath cpu_session_component.cc $(GEN_CORE_DIR)
base: separate native CPU from CPU session This patch unifies the CPU session interface across all platforms. The former differences are moved to respective "native-CPU" interfaces. NOVA is not covered by the patch and still relies on a custom version of the core-internal 'cpu_session_component.h'. However, this will soon be removed once the ongoing rework of pause/single-step on NOVA is completed. Fixes #1922
2016-03-30 13:34:37 +00:00
vpath cpu_session_support.cc $(GEN_CORE_DIR)
Separation of thread operations from CPU session This patch moves the thread operations from the 'Cpu_session' to the 'Cpu_thread' interface. A noteworthy semantic change is the meaning of the former 'exception_handler' function, which used to define both, the default exception handler or a thread-specific signal handler. Now, the 'Cpu_session::exception_sigh' function defines the CPU-session-wide default handler whereas the 'Cpu_thread::exception_sigh' function defines the thread-specific one. To retain the ability to create 'Child' objects without invoking a capability, the child's initial thread must be created outside the 'Child::Process'. It is now represented by the 'Child::Initial_thread', which is passed as argument to the 'Child' constructor. Fixes #1939
2016-05-10 16:05:38 +00:00
vpath cpu_thread_component.cc $(GEN_CORE_DIR)
core: add map method to pd_session interface The method can be used to trigger the eager insertion of page frames into page tables. Intention: to be used for memory used for DMA. Issue #2209
2017-08-02 15:30:49 +00:00
vpath pd_session_support.cc $(GEN_CORE_DIR)
Integrate SIGNAL session into PD session This patch removes the SIGNAL service from core and moves its functionality to the PD session. Furthermore, it unifies the PD service implementation and terminology across the various base platforms. Issue #1841
2016-01-14 12:22:00 +00:00
vpath pd_upgrade_ram_quota.cc $(GEN_CORE_DIR)
Consolidate RM service into PD session This patch integrates three region maps into each PD session to reduce the session overhead and to simplify the PD creation procedure. Please refer to the issue cited below for an elaborative discussion. Note the API change: With this patch, the semantics of core's RM service have changed. Now, the service is merely a tool for creating and destroying managed dataspaces, which are rarely needed. Regular components no longer need a RM session. For this reason, the corresponding argument for the 'Process' and 'Child' constructors has been removed. The former interface of the 'Rm_session' is not named 'Region_map'. As a minor refinement, the 'Fault_type' enum values are now part of the 'Region_map::State' struct. Issue #1938
2016-04-15 13:19:22 +00:00
vpath region_map_component.cc $(GEN_CORE_DIR)
Unification of native_capability.h This patch establishes the sole use of generic headers across all kernels. The common 'native_capability.h' is based on the version of base-sel4. All traditional L4 kernels and Linux use the same implementation of the capability-lifetime management. On base-hw, NOVA, Fiasco.OC, and seL4, custom implementations (based on their original mechanisms) are used, with the potential to unify them further in the future. This change achieves binary compatibility of dynamically linked programs across all kernels. Furthermore, the patch introduces a Native_capability::print method, which allows the easy output of the kernel-specific capability representation using the base/log.h API. Issue #1993
2016-06-15 13:04:54 +00:00
vpath rpc_cap_factory_l4.cc $(GEN_CORE_DIR)
core: split RAM dataspace factory from RAM service By separating the session-interface concerns from the mechanics of the dataspace creation, the code becomes simpler to follow, and the RAM session can be more easily merged with the PD session in a subsequent step. Issue #2407
2017-05-11 13:03:03 +00:00
vpath ram_dataspace_factory.cc $(GEN_CORE_DIR)
Unification of native_capability.h This patch establishes the sole use of generic headers across all kernels. The common 'native_capability.h' is based on the version of base-sel4. All traditional L4 kernels and Linux use the same implementation of the capability-lifetime management. On base-hw, NOVA, Fiasco.OC, and seL4, custom implementations (based on their original mechanisms) are used, with the potential to unify them further in the future. This change achieves binary compatibility of dynamically linked programs across all kernels. Furthermore, the patch introduces a Native_capability::print method, which allows the easy output of the kernel-specific capability representation using the base/log.h API. Issue #1993
2016-06-15 13:04:54 +00:00
vpath capability_space.cc $(GEN_CORE_DIR)
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
vpath io_mem_session_component.cc $(GEN_CORE_DIR)
vpath io_mem_session_support.cc $(GEN_CORE_DIR)
vpath signal_source_component.cc $(GEN_CORE_DIR)
base: restructure signal-submit initialization This patch allows core's 'Signal_transmitter' implementation to sidestep the 'Env::Pd' interface and thereby adhere to a stricter layering within core. The 'Signal_transmitter' now uses - on kernels that depend on it - a dedicated (and fairly freestanding) RPC proxy mechanism for signal deliver, instead of channeling signals through the 'Pd_session::submit' RPC function.
2017-05-10 18:11:38 +00:00
vpath signal_transmitter_proxy.cc $(GEN_CORE_DIR)
vpath signal_receiver.cc $(GEN_CORE_DIR)
core: TRACE service interface and implementation
2013-08-10 01:44:55 +00:00
vpath trace_session_component.cc $(GEN_CORE_DIR)
Imported Genode release 11.11
2011-12-22 15:19:25 +00:00
vpath dataspace_component.cc $(GEN_CORE_DIR)
vpath dump_alloc.cc $(GEN_CORE_DIR)
base: new interface for textual output Issue #1942
2016-05-03 14:31:17 +00:00
vpath default_log.cc $(GEN_CORE_DIR)
Integrate CAP session into PD session This patch integrates the functionality of the former CAP session into the PD session and unifies the approch of supplementing the generic PD session with kernel-specific functionality. The latter is achieved by the new 'Native_pd' interface. The kernel-specific interface can be obtained via the Pd_session::native_pd accessor function. The kernel-specific interfaces are named Nova_native_pd, Foc_native_pd, and Linux_native_pd. The latter change allowed for to deduplication of the pd_session_component code among the various base platforms. To retain API compatibility, we keep the 'Cap_session' and 'Cap_connection' around. But those classes have become mere wrappers around the PD session interface. Issue #1841
2016-01-19 19:24:22 +00:00
vpath core_rpc_cap_alloc.cc $(GEN_CORE_DIR)
Assign threads to PD at its creation time This patch replaces the former 'Pd_session::bind_thread' function by a PD-capability argument of the 'Cpu_session::create_thread' function, and removes the ancient thread-start protocol via 'Rm_session::add_client' and 'Cpu_session::set_pager'. Threads are now bound to PDs at their creation time and implicitly paged according to the address space of the PD. Note the API change: This patch changes the signature of the 'Child' and 'Process' constructors. There is a new 'address_space' argument, which represents the region map representing the child's address space. It is supplied separately to the PD session capability (which principally can be invoked to obtain the PD's address space) to allow the population of the address space without relying on an 'Pd_session::address_space' RPC call. Furthermore, a new (optional) env_pd argument allows the explicit overriding of the PD capability handed out to the child as part of its environment. It can be used to intercept the interaction of the child with its PD session at core. This is used by Noux. Issue #1938
2016-04-20 19:12:57 +00:00
vpath core_region_map.cc $(GEN_CORE_DIR)
base: hide internals of the Thread API This patch moves details about the stack allocation and organization the base-internal headers. Thereby, I replaced the notion of "thread contexts" by "stacks" as this term is much more intuitive. The fact that we place thread-specific information at the bottom of the stack is not worth introducing new terminology. Issue #1832
2016-01-23 13:42:55 +00:00
vpath stack_area.cc $(GEN_CORE_DIR)
core: unify and simplify paging code (Fix #1641) For most platforms except of NOVA a distinction between pager entrypoint and pager activation is not needed, and only exists due to historical reasons. Moreover, the pager thread's execution path is almost identical between most platforms excluding NOVA, HW, and Fisco.OC. Therefore, this commit unifies the pager loop for the other platforms, and removes the pager activation class.
2015-07-29 08:58:17 +00:00
vpath pager_ep.cc $(GEN_CORE_DIR)
core: generic ROM module initialization For most base platforms (except linux and sel4), the initialization of boot modules is the same. Thus, merge this default implementation in the new unit base/src/core/platform_rom_modules.cc. Ref #2490
2017-08-17 14:20:56 +00:00
vpath platform_rom_modules.cc $(GEN_CORE_DIR)
init: health monitoring of child components Fixes #3039
2018-11-14 15:19:30 +00:00
vpath heartbeat.cc $(GEN_CORE_DIR)
Reference in New Issue Copy Permalink