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