Would it be possible to get CONFIG_INTEL_TXT enabled in the Fedora kernel x86 and x86_64 configs going forward? Thanks. -- Stephen Smalley National Security Agency