An SELinux Sourcebook for Cybersecurity Educators