On 5/12/2012 4:39 PM, Konstantin Belousov wrote: > > My own preference is to implement second choice and put the driver > into dev/drm2. Is there a way to have an OPTION in the config file build one driver, and without the OPTION to build the other, but use the same name? If so, that might be the most elegant solution.. Chuck