Bug#572067: Processed: reassign 572592 to linux-libc-dev, forcibly merging 572067 572592
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
Reply to: