Super TPM User's Manual
3.
After enabling TXT Support in the BIOS, you will need to run TXT in the
UEFI shell. In the command line at the bottom of the page, type "getsec64.
ef1 -l sen -a" and press the<Enter> key. TXT support is now enabled..
To exit from the TXT environment, type "getsec64.efi -l sexit" in the
4.
command line at the bottom of the screen and press the <Enter> key.
Chapter 2: Deploying and Using the TPM
2-7