diff --git a/public/init.te b/public/init.te index dda65cd166b0771757f69e72d3ea9c8ebc9555f9..9ec9ff3ccde3642d1a2ac30dc1750f4a19ec6815 100644 --- a/public/init.te +++ b/public/init.te @@ -181,7 +181,7 @@ allow init { allow init cache_file:lnk_file r_file_perms; allow init { file_type -system_file -exec_type }:dir_file_class_set relabelto; -allow init { sysfs debugfs debugfs_tracing }:{ dir file lnk_file } { getattr relabelfrom }; +allow init { sysfs_type debugfs_type}:{ dir file lnk_file } { getattr relabelfrom }; allow init { sysfs_type debugfs_type }:{ dir file lnk_file } relabelto; allow init dev_type:dir create_dir_perms; allow init dev_type:lnk_file create;