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