Selinux and hal