On Sun, Mar 07, 2010 at 05:43:30PM +0000, Ben Hutchings wrote: > On Fri, 2010-03-05 at 19:37 +0100, Bastian Blank wrote: > > The linux kernel is source of the drm headers in the meantime. > It *is*, but it shouldn't be. Let's fix this now.
Ah. So libdrm still works if we remove the drm drivers as this is no kernel interface at all? Either it is a kernel interface, then the kernel includes the definitions for it and provides it to the other parts of the system. Or it is not, but why are there drivers _providing_ this interfaces then? Bastian -- The more complex the mind, the greater the need for the simplicity of play. -- Kirk, "Shore Leave", stardate 3025.8 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org