Hi Lukas, I had followed the tutorial [1] earlier. But in that case, on system restart, boot fails with an error: systemd[1] : Failed to initialize SELinux context: No such file or directory". Then I had to set the boot parameter selinux=0 to boot it. So next I tried using "make load". And since the config file said SELINUXTYPE can take one of the 3 values listed in it(targeted, minimum, mls), I got confused and didn't change the value. Is there anything else that I can try to fix the issue? -rbs _______________________________________________ selinux mailing list -- selinux@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to selinux-leave@xxxxxxxxxxxxxxxxxxxxxxx
