aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSven Vermeulen <sven.vermeulen@siphos.be>2012-12-29 16:51:54 +0100
committerSven Vermeulen <sven.vermeulen@siphos.be>2012-12-29 16:51:54 +0100
commit16b663c51f91abc7f030dceac7189574eac38ef8 (patch)
tree197f836367b8009c93681ea97a064118ad80e1e2 /policy/modules/system/udev.if
parentMove majority of gentoo specifics downwards (diff)
downloadhardened-refpolicy-16b663c51f91abc7f030dceac7189574eac38ef8.tar.gz
hardened-refpolicy-16b663c51f91abc7f030dceac7189574eac38ef8.tar.bz2
hardened-refpolicy-16b663c51f91abc7f030dceac7189574eac38ef8.zip
Support a file transition from udev_var_run_t to udev_rules_t
This will be used later by the initrc_t domain.
Diffstat (limited to 'policy/modules/system/udev.if')
-rw-r--r--policy/modules/system/udev.if31
1 files changed, 31 insertions, 0 deletions
diff --git a/policy/modules/system/udev.if b/policy/modules/system/udev.if
index c38f9b357..85b8d4a15 100644
--- a/policy/modules/system/udev.if
+++ b/policy/modules/system/udev.if
@@ -392,3 +392,34 @@ interface(`udev_manage_pid_files',`
interface(`udev_generic_pid_filetrans_run_dirs',`
refpolicywarn(`$0($*) has been deprecated.')
')
+
+# Gentoo specific but cannot add it within an ifdef distro_gentoo
+
+#########################################
+## <summary>
+## Write in /var/run/udev with the udev_rules_t (udev rules) file type
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+## <param name="class">
+## <summary>
+## Classes on which the file transition should occur
+## </summary>
+## </param>
+## <param name="name" optional="true">
+## <summary>
+## Name of the directory that the file transition will work on
+## </summary>
+## </param>
+#
+interface(`udev_pid_filetrans_rules',`
+ gen_require(`
+ type udev_rules_t;
+ type udev_var_run_t;
+ ')
+
+ filetrans_pattern($1, udev_var_run_t, udev_rules_t, $2, $3)
+')