On Fri, 2013-03-29 at 09:45 -0400, m.roth at 5-cent.us wrote: > Was it you who mentioned selinux-policy-devel? At any rate, it's not > installed. That was me. I suggest you install it: yum install selinux-policy-devel Then you can build your source policy module using the enclosed makefile: make -f /usr/share/selinux/devel/Makefile $MODULENAME.pp