The DARPA SSITH-funded Government Furnished Equipment on which all secure CPUs are based. - View it on GitHub