Is selinux supported on MRG-R (realtime kernel)? Does it influence latency?

Issue

• We would like to use the Linux RT kernel on a secured environment which required SELinux. As SELinux is available on the RT kernel and MRG RT distribution I suppose that SELinux with RT mechanisms is fully supported?
• Is there any impact on RT due to SELinux behavior (latency increase...) ?