I've pushed revision 4 of the SELinux policies to the hardened-dev overlay.
This one contains the following changes since before:
Update patch for DHCP LDAP support to use a tunable
(dhcp_use_ldap)
Correct clamav_var_log_t usage (instead of clamav_log_t, which
doesn't exist)
I've installed hardened-sources-3.2.7 and gradm-2.9.201202232055.
After booting the kernel, I cannot change to the admin role, because the
system reports incompatible version of gradm and grsecurity. However the
RBAC system is still turned on.
Last time I got into version mismatch, the RBAC was not