On 16/02/15 13:46, Tobias Jakobi wrote: > The reason for this change is to let userspace use the header. > Currently 'make install' does not install it. > Hi Tobias,
Afaict that this was done intentionally. I believe the Samsung guys got this out only to fulfil the "no drm(render) driver without open userspace" policy. Although it's nice to see actual user(s) (outside of libdrm) perhaps the header could be cleaned up (#define TRUE 0, #define FALSE -1) a bit before that ? Either way it's up-to the Samsung/Exynos people to make the call. Cheers Emil