NOTE: this module must be run in native Linux kernel, but NOT inside Xen as Xen doesn't allow to write to MSR registers from its Dom0.

This small Linux kernel module checks the presence of Trusted Execution Technology (aka LaGrande) chipset.
Compile it by running "make" inside the source directory. This generates a module named "txt.ko"
Next, load the module in with command "insmod txt.ko". Don't worry if you see the error "insmod: error inserting 'txt.ko': -1 Operation not permitted", as we don't load the module in.

If you see the message "TXT chipset and all needed capabilities present" in output of "dmesg", TXT is present in your machine. Otherwise, your machine is not ready for TXT.
