diff --git a/public/init.te b/public/init.te index 9ec9ff3ccde3642d1a2ac30dc1750f4a19ec6815..4b080464b99e86e29b986f0ed1e50891cc0f9df9 100644 --- a/public/init.te +++ b/public/init.te @@ -181,8 +181,8 @@ 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_type debugfs_type}:{ dir file lnk_file } { getattr relabelfrom }; -allow init { sysfs_type debugfs_type }:{ dir file lnk_file } relabelto; +allow init { sysfs debugfs debugfs_tracing }:{ dir file lnk_file } { getattr relabelfrom }; +allow init { sysfs_type debugfs_type }:{ dir file lnk_file } { relabelto getattr }; allow init dev_type:dir create_dir_perms; allow init dev_type:lnk_file create;