Hello, A quick note that I'm moving the SELinux kernel repository from infradead.org to kernel.org, please update your trees accordingly (hint: "git remote set-url ..."). * git://git.kernel.org/pub/scm/linux/kernel/git/pcmoore/selinux.git * https://git.kernel.org/pub/scm/linux/kernel/git/pcmoore/selinux.git -- paul moore www.paul-moore.com