avc denied messages from microcode_ctl

[Russell Coker]

On Tue, 15 Jun 2004 04:59, Richard Hally <rhallyx at mindspring.com> wrote:
> >I suggest just using setfiles to relabel /dev/cpu.
>
> There is no /udev/cpu.  There is a  /udev/microcode. It is labeled
> device_t.

There is no /dev/microcode listed in Documentation/devices.txt in the kernel 
source tree from kernel.org.

Please show me the "ls -l /dev/microcode" output.  We'll have to add an entry 
to file_contexts/types.fc for it.

-- 
http://www.coker.com.au/selinux/   My NSA Security Enhanced Linux packages
http://www.coker.com.au/bonnie++/  Bonnie++ hard drive benchmark
http://www.coker.com.au/postal/    Postal SMTP/POP benchmark
http://www.coker.com.au/~russell/  My home page