# kernel.te | |
allow kernel self:capability mknod; | |
allow kernel device:dir { add_name write remove_name rmdir }; | |
allow kernel device:chr_file { create setattr getattr unlink }; | |
r_dir_file(kernel, efs_file); | |
r_dir_file(kernel, app_efs_file); | |
allow kernel app_efs_file:file write; |