##
# trusted execution environment (tee) daemon
#
type tee, domain;
# Device(s) for communicating with the TEE
type tee_device, dev_type;