From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id ACA8713877A for ; Fri, 15 Aug 2014 10:04:36 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 9C95BE0A45; Fri, 15 Aug 2014 10:04:33 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 88058E0A45 for ; Fri, 15 Aug 2014 10:04:32 +0000 (UTC) Received: from spoonbill.gentoo.org (spoonbill.gentoo.org [81.93.255.5]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 93FA63406A1 for ; Fri, 15 Aug 2014 10:04:31 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by spoonbill.gentoo.org (Postfix) with ESMTP id 3C2951881C for ; Fri, 15 Aug 2014 10:04:30 +0000 (UTC) From: "Sven Vermeulen" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sven Vermeulen" Message-ID: <1408096685.6207dd32f1345e9740d1108cf7a7be30d848c427.swift@gentoo> Subject: [gentoo-commits] proj/hardened-refpolicy:salt commit in: policy/modules/kernel/ X-VCS-Repository: proj/hardened-refpolicy X-VCS-Files: policy/modules/kernel/kernel.if X-VCS-Directories: policy/modules/kernel/ X-VCS-Committer: swift X-VCS-Committer-Name: Sven Vermeulen X-VCS-Revision: 6207dd32f1345e9740d1108cf7a7be30d848c427 X-VCS-Branch: salt Date: Fri, 15 Aug 2014 10:04:30 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 843cc3ce-2f34-4494-a335-ac1674ccfbe8 X-Archives-Hash: a613a7941c93a2d01a849ad9e60e2283 commit: 6207dd32f1345e9740d1108cf7a7be30d848c427 Author: Sven Vermeulen siphos be> AuthorDate: Fri Aug 8 12:33:21 2014 +0000 Commit: Sven Vermeulen gentoo 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 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',` ######################################## ## +## Delete unlabeled block device nodes. +## +## +## +## Domain allowed access. +## +## +# +interface(`kernel_delete_unlabeled_blk_files',` + gen_require(` + type unlabeled_t; + ') + + delete_blk_files_pattern($1, unlabeled_t, unlabeled_t) +') + +######################################## +## ## Create, read, write, and delete unlabeled block device nodes. ## ## From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 0310313877A for ; Fri, 15 Aug 2014 10:04:19 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id BE258E09F1; Fri, 15 Aug 2014 10:04:13 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id BB6E6E09E4 for ; Fri, 15 Aug 2014 10:04:12 +0000 (UTC) Received: from spoonbill.gentoo.org (spoonbill.gentoo.org [81.93.255.5]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id CDEE93405D8 for ; Fri, 15 Aug 2014 10:04:10 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by spoonbill.gentoo.org (Postfix) with ESMTP id DC43D18828 for ; Fri, 15 Aug 2014 10:04:08 +0000 (UTC) From: "Sven Vermeulen" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sven Vermeulen" Message-ID: <1408096685.6207dd32f1345e9740d1108cf7a7be30d848c427.swift@gentoo> Subject: [gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/kernel/ X-VCS-Repository: proj/hardened-refpolicy X-VCS-Files: policy/modules/kernel/kernel.if X-VCS-Directories: policy/modules/kernel/ X-VCS-Committer: swift X-VCS-Committer-Name: Sven Vermeulen X-VCS-Revision: 6207dd32f1345e9740d1108cf7a7be30d848c427 X-VCS-Branch: master Date: Fri, 15 Aug 2014 10:04:08 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: c34f8f94-c464-4cf5-910d-44c679a393da X-Archives-Hash: 0930c77f07246719e2931672b87bd705 Message-ID: <20140815100408.JtlyYqh0CwYkqDJOK70ElbXTi6OB62ZpfZ-1tuC0PiM@z> commit: 6207dd32f1345e9740d1108cf7a7be30d848c427 Author: Sven Vermeulen siphos be> AuthorDate: Fri Aug 8 12:33:21 2014 +0000 Commit: Sven Vermeulen gentoo 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 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',` ######################################## ## +## Delete unlabeled block device nodes. +## +## +## +## Domain allowed access. +## +## +# +interface(`kernel_delete_unlabeled_blk_files',` + gen_require(` + type unlabeled_t; + ') + + delete_blk_files_pattern($1, unlabeled_t, unlabeled_t) +') + +######################################## +## ## Create, read, write, and delete unlabeled block device nodes. ## ##