1## 2# trusted execution environment (tee) daemon 3# 4type tee, domain; 5 6# Device(s) for communicating with the TEE 7type tee_device, dev_type; 8