I would like to move on towards an F17 system. I'm stuck, however with an 3.2.7 kernel because of bugzilla 795141. (The test kernel that was provided in the bugzilla works for me, but so far the fix doesn't seem to have been included in any released kernel package.) And the standard F17 kernel is 3.3.0. Most things won't actually depend on the newer kernel in F17, but from experience I've learned that the selinux-policy is one of the more sensitive parts. Are you aware of any reason it will fail with the slightly older kernel? Or is there a chance it might work? At least reasonably well? I'm of course not asking for any kind of official support. Whatever that would mean for an alpha of Fedora. :-) But before I do the attempt I wanted to check if you saw any obvious reasons things would crash completely if I tried the combination. -- selinux mailing list selinux@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/selinux