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