> IMO, the changes are good. However, DRM_NOUVEAU_HEADER_PATCHLEVEL is > used to indicate the version of the kernel interface that's supported, > and not the libdrm API version. OK. Perhaps it would be useful to add a libdrm API version number as well?