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:22 new2 kernel: audit(1087175062.270:0): avc: denied { use } for pid=2392 exe=/bin/umount path=/dev/ptmx dev=hda2 ino=1064811 scontext=system_u:system_r:mount_t tcontext=system_u:system_r:rhgb_gph_t tclass=fd Jun 13 21:04:22 new2 kernel: audit(1087175062.270:0): avc: denied { read write } for pid=2392 exe=/bin/umount path=socket:[1429] dev=sockfs ino=1429 scontext=system_u:system_r:mount_t tcontext=system_u:system_r:rhgb_t tclass=unix_stream_socket
HTH Richard Hally
selinux@lists.fedoraproject.org