| is there any way to know the correct sources for | precompiled and installed | kernel. this seems to be an issue with some device drivers | using ioctl() calls.

you can just do a "$cat /proc/version" to know the version of the source the running kernel has been built from.

saha --