TEE hardware - based on the chipyard repository - hardware to accelerate TEE - View it on GitHub