Handling policy modules
When the system loads the SELinux policy in memory, it uses the policy.## file, with ## representing the policy version, as explained at the end of Chapter 1, Fundamental SELinux Concepts. This file, which resides in /etc/selinux/targeted/policy, is generated every time the policy is modified. This can be when booleans are changed (and persisted), or when SELinux policy modules are added or removed.
Listing policy modules
SELinux policy modules are sets of SELinux rules that can be loaded and unloaded. These modules, with .pp or .cil suffixes, can be loaded and unloaded as needed by the administrator. Once loaded, the policy module is made part of the SELinux policy store, and will be loaded even after a system reboot. Unlike SELinux boolean changes, SELinux policy module loads are always persisted.
To list the currently loaded SELinux policy modules, we recommend using the semodule command. By default, semodule will show all loaded SELinux policy modules...
