Pixels use the open source Trusty OS and Open Titan as the basis for the TEE and RISC-V secure element.