On Mon, Mar 15, 2010 at 10:55:09PM +0100, Bastian Blank wrote: > On Mon, Mar 15, 2010 at 06:24:18PM +0000, Ben Hutchings wrote: > > On Mon, Mar 15, 2010 at 06:41:16PM +0100, Bastian Blank wrote: > > > On Sun, Mar 14, 2010 at 11:09:39PM +0000, Ben Hutchings wrote: > > > > Log: > > > > Remove /usr/include/drm from linux-libc-dev; let libdrm-dev provide it > > > > again > > > Please explain. This is a kernel interface. > > Which is not very stable, so userland may need different definitions. > > If it is not stable enough, it is to be unexported. [...]
Video drivers are split between user-space (X, Mesa, etc.) and kernel-space components for performance reasons. The interfaces between different components of a driver do not have the same stability requirements as most interfaces between kernel and user-space. There does need to be some support for mismatched versions and libdrm may be able to help by including more than just the current kernel interface definitions. In any case, nothing should be using the kernel DRM interface without going through libdrm. Ben. -- Ben Hutchings It is a miracle that curiosity survives formal education. - Albert Einstein -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
