Thanks very much for your help, alea. So the important outstanding question on that topic is: Whose TPM chip is on the TPM card for Intel's whitebox PC? And is Intel developing their own TPM chip? Thanks in advance to anyone who responds.