Chapter 10. Deploying the same SELinux configuration on multiple systems