diff --git a/policy/modules/kernel/devices.fc b/policy/modules/kernel/devices.fc
index 7fa4a971a..19b06ab73 100644
--- a/policy/modules/kernel/devices.fc
+++ b/policy/modules/kernel/devices.fc
@@ -165,6 +165,8 @@ ifdef(`distro_suse', `
 
 /dev/dvb/.*		-c	gen_context(system_u:object_r:v4l_device_t,s0)
 
+/dev/infiniband/.*      -c      gen_context(system_u:object_r:infiniband_device_t,s0)
+
 /dev/input/.*		-c	gen_context(system_u:object_r:event_device_t,s0)
 /dev/input/m.*		-c	gen_context(system_u:object_r:mouse_device_t,s0)
 /dev/input/.*mouse.*	-c	gen_context(system_u:object_r:mouse_device_t,s0)
diff --git a/policy/modules/kernel/devices.te b/policy/modules/kernel/devices.te
index 068419502..8ac7c212c 100644
--- a/policy/modules/kernel/devices.te
+++ b/policy/modules/kernel/devices.te
@@ -122,6 +122,12 @@ dev_node(freefall_device_t)
 type gpiochip_device_t;
 dev_node(gpiochip_device_t)
 
+#
+# Type for /dev/infiniband/*
+#
+type infiniband_device_t;
+dev_node(infiniband_device_t)
+
 #
 # Type for /dev/ipmi/0
 #