Kernel_t can not execute udev_exec_t?

[Aleksey Nogin]

audit(1083714147.482:0): avc:  denied  { execute } for  pid=3273 
exe=/sbin/udevd name=udev dev=hda2 ino=3875498 
scontext=system_u:system_r:kernel_t 
tcontext=system_u:object_r:udev_exec_t tclass=file
audit(1083714147.552:0): avc:  denied  { execute } for  pid=3282 
exe=/sbin/udevd name=udev dev=hda2 ino=3875498 
scontext=system_u:system_r:kernel_t 
tcontext=system_u:object_r:udev_exec_t tclass=file


policy-sources-1.11.2-21

-- 
Aleksey Nogin

Home Page: http://nogin.org/
E-Mail: nogin at cs.caltech.edu (office), aleksey at nogin.org (personal)
Office: Jorgensen 70, tel: (626) 395-2907