default-route config

[Johannes Kliemann]

Hello Christian,

thanks for the quick response. It answered my question.

I indeed missed the reference [1], so I'll append it here. I also
created a small example with an empty default route [2] that works for me.

Regards,
Johannes

[1]:
https://github.com/jklmnn/genode/blob/d2a86faf9035e17c64a0b52aeab648fcb913f46d/repos/os/run/drv_test.run
[2]:
https://github.com/jklmnn/genode/blob/797578e903b85e64da2925b09024b6ab5d6780cc/repos/os/run/drv_test.run

Am 13.10.2017 um 16:36 schrieb 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
>