From Debian package 0.0.20080702-4

Let udev manage tmpfs directories and char files

Index: policy/modules/system/udev.te
===================================================================
--- policy/modules/system/udev.te.orig
+++ policy/modules/system/udev.te
@@ -179,6 +179,11 @@
 	init_getattr_script_status_files(udev_t)
 ')
 
+ifdef(`distro_debian',`
+	fs_manage_tmpfs_dirs(udev_t)
+	fs_manage_tmpfs_chr_files(udev_t)
+')
+
 ifdef(`distro_redhat',`
 	fs_manage_tmpfs_dirs(udev_t)
 	fs_manage_tmpfs_files(udev_t)