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;

')