Re: [Tails-dev] SELinux

taxakis wrote (07 Sep 2013 09:53:20 GMT) :
> If there is no use for SELinux, and it's not enabled, why is it compiled in?

Debian, as an operating system, is used in a broad variety of
environments by many different users. Likely, some of them want to use
SELinux. So, it's made available in the Linux kernel shipped by
Debian. If you want a more authoritative answer, I suggest asking the
Debian kernel team :)

Cheers!