libdrm and platform devices?

Hi All,

I have a drm device on the platform bus, similar to the exynos driver. right now libdrm (at least the tests included in libdrm) refuses to open the device because i915, nouveau, radeon and vmwgfx is all they know about. Looking at the libdrm code it is not obvious how to fix this (except for adding "exynos", "mydevice", "myotherdevice" to the module table which seems awkward and not very futureproof). Any hints or thoughts how to proceed here?

Thanks Sascha