device_t should be a device node, so that any app that uses a _add_devices interface...

diff --git a/policy/modules/kernel/devices.te b/policy/modules/kernel/devices.te
index 8f727be38790be3beb2df815454de53f59023e7d..d8c1d48fb931f1df096d41fd1830914fcf29cb87 100644 (file)
--- a/policy/modules/kernel/devices.te
+++ b/policy/modules/kernel/devices.te
@@ -20,6 +20,7 @@ files_mountpoint(device_t)
 files_associate_tmp(device_t)
 fs_type(device_t)
 fs_use_trans devtmpfs gen_context(system_u:object_r:device_t,s0);
+dev_node(device_t)
 
 #
 # Type for /dev/agpgart