5 Commits

Author	SHA1	Message	Date
Norman Feske	62b1c55399	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-03-07 12:34:44 +01:00
Norman Feske	aaea28ae85	Fix build and execution of test/sel4	2015-10-06 12:18:56 +02:00
Norman Feske	66dd065163	sel4: use LOG console for non-core components	2015-05-26 09:40:01 +02:00
Norman Feske	d6e3e47348	sel4: use core_printf for non-core components ... This allows us to see debug messages printed at the eary initialization of init (before init is able to obtain the regular LOG session). This will be reverted as soon as the initialziation of the non-core base environment works.	2015-05-26 09:40:00 +02:00
Norman Feske	56ec0ad172	sel4: add base.mk lib to build and link init	2015-05-26 09:39:59 +02:00