On 06/05/2015 01:40 AM, Shrikant Bobade wrote: > From: Shrikant Bobade <Shrikant_Bobade at mentor.com> > > The default kernel is now v3.19. So we need the selinux support > for kernel v3.19, inorder to get selinux enabled images out of box. Looks good to me. Boots policy in enforcing as expected. Philip