On Tue, 15 Jun 2004 04:59, Richard Hally <rhallyx(a)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