basic/non_plat/teei_hal_capi.te

# TEE SEPolicy Rule
# Set a new domain
type teei_hal_capi, domain;