SELinux wird vollständig in den Vanilla-Kernel integriert. Interessant ist in diesem Fall aber weniger der Kernel, sondern vielmehr die Anwendungen, die teilweise gepatchted werden müssen (init, login, ssh, pam, ...)