In case anyone wonders: Linus apparently is using #SELinux on his machine:
"[…] it boots for me, with selinux enabled. Not that I tested any actual selinux functionality outside of my normal desktop being active […]"
https://lore.kernel.org/all/CAHk-%3Dwi5CQiZ5GbN6%2BL4704uekH4PR308Zo%2BEMnDxL-re-xvgg@mail.gmail.com/ #Linux #kernel #LinuxKernel