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