Creating your first Genode application - Build succesful, butexecution fails

[Norman Feske]

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