I'm currently looking for a good Linux distribution with a hardened kernel... So far I've found:

- Mandriva/PCLinuxOS: use RSBAC by default
- Redhat/Fedora and derivatives: SELinux enabled
- Debian: SELinux available (but default profile is shoddy)
- PLD: grsec kernel in repos
- CAOS: grsec kernel by default

Are there any other general-purpose distros with hardened kernels out there? What am I missing?