module seadrive 1.2;

require {
        type init_t;
        type fusermount_exec_t;
        class file { open read execute execute_no_trans };
}

#============= init_t ==============
allow init_t fusermount_exec_t:file { open read execute execute_no_trans };