Document configuration for SELinux execmem allocator and fix CMake usage.

5 files changed