Hello,
On 04/12/2014 05:33 PM, Christian Helmuth wrote:
> [...] You may add
>
> <service name="IO_PORT"> <parent/> </service>
>
> to the top of your config file. For further information about
> confiuring the init process please have a look at
I think that should be
<parent-provides>
...
<service name="IRQ"/>
<service name="IO_PORT"/>
...
</parent-provides>
Cheers
Norman
------------------------------------------------------------------------------
Put Bad Developers to Shame
Dominate Development with Jenkins Continuous Integration
Continuously Automate Build, Test & Deployment
Start a new project now. Try Jenkins in the cloud.
http://p.sf.net/sfu/13600_Cloudbees
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
