one of their links is to a security enhanced linux android.

https://source.android.com/security/selinux/