commit: 6207dd32f1345e9740d1108cf7a7be30d848c427 Author: Sven Vermeulen <sven.vermeulen <AT> siphos <DOT> be> AuthorDate: Fri Aug 8 12:33:21 2014 +0000 Commit: Sven Vermeulen <swift <AT> gentoo <DOT> org> CommitDate: Fri Aug 15 09:58:05 2014 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=6207dd32
Introduce kernel_delete_unlabeled_blk_files The kernel_delete_unlabeled_blk_files interface is called by the (deprecated) files_delete_isid_type_blk_files in kernel/files.if. Signed-off-by: Sven Vermeulen <sven.vermeulen <AT> siphos.be> --- policy/modules/kernel/kernel.if | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/policy/modules/kernel/kernel.if b/policy/modules/kernel/kernel.if index 0ed9d53..5d978cc 100644 --- a/policy/modules/kernel/kernel.if +++ b/policy/modules/kernel/kernel.if @@ -2686,6 +2686,24 @@ interface(`kernel_rw_unlabeled_blk_files',` ######################################## ## <summary> +## Delete unlabeled block device nodes. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`kernel_delete_unlabeled_blk_files',` + gen_require(` + type unlabeled_t; + ') + + delete_blk_files_pattern($1, unlabeled_t, unlabeled_t) +') + +######################################## +## <summary> ## Create, read, write, and delete unlabeled block device nodes. ## </summary> ## <param name="domain">
