policy_module(permissivedomains,20)

optional_policy(`
    gen_require(`
                type gssproxy_t;
        ')

        permissive gssproxy_t;
')

optional_policy(`
    gen_require(`
                type prosody_t;
        ')

        permissive prosody_t;
')

optional_policy(`
    gen_require(`
                type redis_t;
        ')

        permissive redis_t;
')

optional_policy(`
    gen_require(`
                type hypervkvp_t;
        ')

        permissive hypervkvp_t;
')

optional_policy(`
    gen_require(`
                type hypervvssd_t;
        ')

        permissive hypervvssd_t;
')



optional_policy(`
    gen_require(`
                type lsmd_t;
        ')

        permissive lsmd_t;
')


optional_policy(`
    gen_require(`
                type mip6d_t;
    ')
        permissive mip6d_t;
')

optional_policy(`
    gen_require(`
                type opensm_t;
    ')
    permissive opensm_t;
')

optional_policy(`
    gen_require(`
        type bumblebee_t;
    ')
            permissive bumblebee_t;
')

optional_policy(`
    gen_require(`
                type freqset_t;
   ')
    permissive freqset_t;
')

optional_policy(`
    gen_require(`
                type freeipmi_bmc_watchdog_t;
                type freeipmi_ipmidetectd_t;
                type freeipmi_ipmiseld_t;
   ')
        permissive freeipmi_bmc_watchdog_t;
        permissive freeipmi_ipmidetectd_t;
        permissive freeipmi_ipmidetectd_t;
')

optional_policy(`
    gen_require(`
        type conman_t;
   ')
            permissive conman_t;
')

optional_policy(`
    gen_require(`
        type opensm_t;
   ')
            permissive opensm_t;
')

optional_policy(`
    gen_require(`
        type openwsman_t;
   ')
            permissive openwsman_t;
')

optional_policy(`
    gen_require(`
        type ninfod_t;
   ')
            permissive ninfod_t;
')