Re: [Arm-dev] armv7l pre-alpha - selinux