policy_module(permissivedomains,18)

optional_policy(`
    gen_require(`
                type sensord_t;
        ')

        permissive sensord_t;
')


optional_policy(`
    gen_require(`
                type slpd_t;
        ')

        permissive slpd_t;
')

optional_policy(`
    gen_require(`
                type pkcsslotd_t;
        ')

        permissive pkcsslotd_t;
')