default-route config

[Christian Helmuth]

Hello Johannes,

On Fri, Oct 13, 2017 at 04:04:40PM +0200, Johannes Kliemann wrote:
> I tried to completely remove the default-route with
> any-service/any-child from my runfile and only explicitly allow services
> to components.
> I have created a minimal example with only the timer driver [1] but I
> wasn't able to explicitly grant service access to the timer driver.
> 
> When I prepend <any-service> with an explicit
> 
> > <service name="PD">>     <child name="timer"/>
> > </service>
> 
> the timer driver fails with a denied PD environment session.

This route looks odd as it reads: Route any requests to service "PD"
to the child "timer".

> What is the correct approach to do this?

You email missed the reference [1] but I would adapt log.run like
follows.

+++ b/repos/base/run/log.run
@@ -10,12 +10,15 @@ install_config {
 			<service name="CPU"/>
 			<service name="ROM"/>
 		</parent-provides>
-		<default-route>
-			<any-service> <parent/> </any-service>
-		</default-route>
 		<default caps="50"/>
 		<start name="test-log">
 			<resource name="RAM" quantum="10M"/>
+			<route>
+				<service name="PD">  <parent/> </service>
+				<service name="CPU"> <parent/> </service>
+				<service name="LOG"> <parent/> </service>
+				<service name="ROM"> <parent/> </service>
+			</route>
 		</start>
 	</config>
 }

Does this answer your question?

Greets
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth