Merge pull request #193 from dsugar100/master

policy/modules/kernel/devices.if

@@ -2187,6 +2187,24 @@ interface(`dev_manage_input_dev',`
 	manage_chr_files_pattern($1, device_t, event_device_t)
 ')
 
+########################################
+## <summary>
+##	Read and write ipmi devices (/dev/ipmi*).
+## </summary>
+## <param name="domain">
+##	<summary>
+##	Domain allowed access.
+##	</summary>
+## </param>
+#
+interface(`dev_rw_ipmi_dev',`
+	gen_require(`
+		type device_t, ipmi_device_t;
+	')
+
+	rw_chr_files_pattern($1, device_t, ipmi_device_t)
+')
+
 ########################################
 ## <summary>
 ##	Get the attributes of the framebuffer device node.