Sorry for the long delay in my reply. After some frustration with Pidora, I switched to Raspbian for a while. However, I had even more problems with that distribution (most of them stemming from SD card incompatibility). Anyway, I'm back on Pidora and having the same problems with SELinux.
I checked the installed packages and found the following:
# rpm -qa | grep selinux
libselinux-python-2.1.12-7.fc18.1302272320kf.armv6hl
selinux-policy-devel-3.11.1-76.fc18.1302151755kf.noarch
selinux-policy-doc-3.11.1-76.fc18.1302151755kf.noarch
selinux-policy-targeted-3.11.1-76.fc18.1302151755kf.noarch
selinux-policy-3.11.1-76.fc18.1302151755kf.noarch
libselinux-2.1.12-7.fc18.1302272320kf.armv6hl
libselinux-utils-2.1.12-7.fc18.1302272320kf.armv6hl
# rpm -qa | grep policycoreutils
policycoreutils-2.1.13-56.fc18.armv6hl
policycoreutils-python-2.1.13-56.fc18.armv6hl
policycoreutils-devel-2.1.13-56.fc18.armv6hl
# rpm -qa | grep setroubleshoot
setroubleshoot-plugins-3.0.47-1.fc18.noarch
setroubleshoot-3.1.18-1.fc18.1302272212kf.armv6hl
setroubleshoot-server-3.1.18-1.fc18.1302272212kf.armv6hl
Still, when I set selinux to permissive/targeted in /etc/selinux/config and reboot, it does not label my file system, there are no messages to be found in /var/log/messages, and getenforce still returns 'Disabled'.
Is there something else that needs to be done aside from what's outlined in this article?
https://docs.fedoraproject.org/en-US/Fe ... Linux.html
EDIT: I also found several sources that suggested making a file named /.autorelabel before rebooting. I tried this but it didn't change the outcome.