Hello Carlo,

I think this thead will explain you why (although this was about TSL
3.0)

http://article.gmane.org/gmane.linux.trustix.general/13769

Short summary: use the kernel headers in
/lib/modules/<running kernel version>/build to compile
your driver. This should be a link pointing to
/usr/src/kernel-source-<version>. Of course, you need to install
the corresponding kernel-source-<version> RPM.

The other headers are for the compilation of userland stuff.

Greets,
_A_
_______________________________________________
tsl-discuss mailing list
[email protected]
http://lists.trustix.org/mailman/listinfo/tsl-discuss

Reply via email to