+KERNEL="issm*", NAME="infiniband/%k"
+
+# tpm devices
+KERNEL="tpm*", NAME="%k", OWNER="tss", GROUP="tss", MODE="0600"
+
+# be backward compatible for a while with the /etc/dev.d and /etc/hotplug.d/ systems
+RUN += "/sbin/udev_run_devd"
+RUN += "/sbin/udev_run_hotplugd"
+