Russell Coker wrote:
On Mon, 14 Jun 2004 15:31, Richard Hally <rhallyx@xxxxxxxxxxxxxx> wrote:
While booting the 427 kernel in enforcing mode with selinux-policy-strict-1.13.4-5, the following avc denied messages occur:
Jun 13 21:04:03 new2 kernel: audit(1087175026.816:0): avc: denied {
write } for pid=1247 exe=/sbin/microcode_ctl name=microcode dev=hda2
ino=1070659 scontext=system_u:system_r:cpucontrol_t
tcontext=system_u:object_r:device_t tclass=chr_file
/u?dev/cpu/.* -c system_u:object_r:cpu_device_t
The above line in file_contexts/types.fc should cover /dev/cpu/microcode. I think that the problem you are having is because for some (unknown) reason those device nodes were mis-labeled. I don't know what might have caused this, I have not been able to reproduce it.
I suggest just using setfiles to relabel /dev/cpu.
There is no /udev/cpu. There is a /udev/microcode. It is labeled device_t.
Richard Hally
