# 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;