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