How to pass command-line arguments to Genode application?

Wouter van Oijen wouter.van.oijen at
Mon Dec 3 14:05:11 CET 2018


I want to pass one or more command-line arguments to my Genode
application. So instead of starting "mosquitto", I want to run
"mosquitto -p 1888", for example. How do I do this? I've found run
files that pass arguments to Noux applications (using a start-element
inside the config-element), but this does not seem to work for my
application. So how are command-line arguments passed to the
application in general? Below is the part of the init configuration
that I currently use to start the application.

<start name="mosquitto">
    <resource name="RAM" quantum="100M"/>
            <dir name="dev"> <log/> <rtc/> </dir>
            <dir name="socket">
                <lwip ip_addr="" netmask=""
        <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"
socket="/socket" />


More information about the users mailing list