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

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to