matt <deberg@mit.edu> writes:

> it just seems poor to have two unrelated devices w/ the same name,
> even if they'll never be configured in the same system.

Yes, but there are more examples for this. If/when this driver
actually works we can think about changing the name.

/Johan