References

Here you will find reference knowledge explaining concepts and theory behind TrenchBoot.

• AMD64 Architecture Programmers Manual Volume 2 Ch15.27
• Intel TXT Preliminary Architecture Specification
• Intel TXT Software Development Guide