How to pass command-line arguments to Genode application?

[Wouter van Oijen]

Hi Martin,

> I assume you can do this using the <arg> tag provided by Genodes posix
> environment. An example would be the run script
> repos/ports/run/lighttpd.run:
>
> <start name="lighttpd" caps="200">
>   <resource name="RAM" quantum="1G" />
>   <config>
>     <arg value="lighttpd" />
>     <arg value="-f" />
>     <arg value="/etc/lighttpd/lighttpd.conf" />
>     <arg value="-D" />
> ...

You're right. And apparently the first argument must be the executable
name itself (which was not the case in some other examples), that's
why it didn't work for me. It works now. Thanks!

Kind regards,
Wouter van Oijen