Gentoo Archives: gentoo-commits

From: Sven Vermeulen <sven.vermeulen@××××××.be>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/kernel/
Date: Tue, 30 Oct 2012 20:25:48
Message-Id: 1351628472.a87d68a2faa0a075bb115686d31300b1ec0e9aea.SwifT@gentoo
1 commit: a87d68a2faa0a075bb115686d31300b1ec0e9aea
2 Author: Chris PeBenito <cpebenito <AT> tresys <DOT> com>
3 AuthorDate: Tue Oct 30 20:11:32 2012 +0000
4 Commit: Sven Vermeulen <sven.vermeulen <AT> siphos <DOT> be>
5 CommitDate: Tue Oct 30 20:21:12 2012 +0000
6 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=a87d68a2
7
8 Rearrange devices interfaces.
9
10 ---
11 policy/modules/kernel/devices.if | 16 ++++++++--------
12 1 files changed, 8 insertions(+), 8 deletions(-)
13
14 diff --git a/policy/modules/kernel/devices.if b/policy/modules/kernel/devices.if
15 index 6c92734..8d2504b 100644
16 --- a/policy/modules/kernel/devices.if
17 +++ b/policy/modules/kernel/devices.if
18 @@ -4242,7 +4242,7 @@ interface(`dev_read_generic_usb_dev',`
19
20 ########################################
21 ## <summary>
22 -## Relabel generic the USB devices.
23 +## Read and write generic the USB devices.
24 ## </summary>
25 ## <param name="domain">
26 ## <summary>
27 @@ -4250,17 +4250,17 @@ interface(`dev_read_generic_usb_dev',`
28 ## </summary>
29 ## </param>
30 #
31 -interface(`dev_relabel_generic_usb_dev',`
32 +interface(`dev_rw_generic_usb_dev',`
33 gen_require(`
34 - type usb_device_t;
35 + type device_t, usb_device_t;
36 ')
37
38 - relabel_chr_files_pattern($1, device_t, usb_device_t)
39 + rw_chr_files_pattern($1, device_t, usb_device_t)
40 ')
41
42 ########################################
43 ## <summary>
44 -## Read and write generic the USB devices.
45 +## Relabel generic the USB devices.
46 ## </summary>
47 ## <param name="domain">
48 ## <summary>
49 @@ -4268,12 +4268,12 @@ interface(`dev_relabel_generic_usb_dev',`
50 ## </summary>
51 ## </param>
52 #
53 -interface(`dev_rw_generic_usb_dev',`
54 +interface(`dev_relabel_generic_usb_dev',`
55 gen_require(`
56 - type device_t, usb_device_t;
57 + type usb_device_t;
58 ')
59
60 - rw_chr_files_pattern($1, device_t, usb_device_t)
61 + relabel_chr_files_pattern($1, device_t, usb_device_t)
62 ')
63
64 ########################################