-devname command-line option

Specifies the value of the devName resource.