A parte do kernel do SELinux é integrada ao kernel vanilla em kernel.org . Basta dar uma olhada no diretório ./security/selinux do seu código-fonte do kernel.
A parte userland do SELinux pode ser obtida aqui .
Estou tentando encontrar o url para o código-fonte do selinux (kernel e userland), mas não consigo encontrar nada, apenas URLs desatualizados ... Alguém poderia ajudar? Além disso, eu instalei a partir de pacotes no debian, então eu acho que não posso verificá-lo diretamente no meu sistema?
A parte do kernel do SELinux é integrada ao kernel vanilla em kernel.org . Basta dar uma olhada no diretório ./security/selinux do seu código-fonte do kernel.
A parte userland do SELinux pode ser obtida aqui .
O código do kernel do SELinux está incluído no kernel principal do Linux 2.6, disponível em The Linux Kernel Archives.
apt-get source <whatever package SElinux is in>
Você receberá a fonte atual da versão do SElinux que está usando.