tree 7fe8b0b8c74f4013bfe2bdbcce30bbc912dde8a3
parent 17741bc85c0570a4f01bf8c945db1cd1b117a19a
author Nick Kralevich <nnk@google.com> 1457030412 -0800
committer Nick Kralevich <nnk@google.com> 1457033184 -0800

Mount selinuxfs when other filesystems are mounted

Be consistent when mounting filesystems, and mount selinuxfs
at the same time other filesystems are mounted. In particular,
this ensures that a /sys/fs/selinux/null is available at early
boot, avoiding an unnecessary mknod call.

Change-Id: I01e6b3900f48b4cb3f12d8a928e1e95911524252