Selinux profiles are marked as "dev" until this is done. - Bug 290485, missing stable toolchain (gcc-4) - See repoman -d full in e.g. media-video/h264enc, x264 masking: I suggest creating 10.0 profile set with revised parent files, in a way selinux+hardened will use hardened/linux's 10.0 profiles, and selinux+non-hardened will use default/linux's 10.0 profiles. And avoid creating them in incomprehensible order. Thanks!
Bug 290790...
*** This bug has been marked as a duplicate of bug 290790 ***