TEE-HW: Trusted Execution Environment (TEE) Hardware System
Guide on how to make (and boot to Linux) the TEE-HW system with various security features.