at least on Debian it's called this way.. my SELinux experience is ~7 years old though.. and it's bare minimal 🙂