Indended SElinux instructions