Gentoo comes with selinux just as FC does. AFAIK SELinux is just a hacked kernel to provide some additional features. I never saw, really, a need for using it on my mobile machine, but maybe I'll recompile my kernel.

The hardened 2.6.7 kernel I'm using has those options built too although it's not listed as a selinux source.