commit 83b28e267e63aba0a860173e3620adf253c630b7
author Treehugger Robot <treehugger-gerrit@google.com> Tue Aug 27 22:03:00 2019 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Tue Aug 27 22:03:00 2019 +0000
tree 988541b7650a361c6eed1b62a41b26684380f7dc
parent 4d40aefa4b34a987fac1282fc969a15ce9a514e2
parent 4e100f27040c2e546d255094a99e33113dfa093c

Merge "Allow remounting /mnt/user/0 as slave mount"

public/init.te

diff --git a/public/init.te b/public/init.te
index f7ef232..4d7da55 100644
--- a/public/init.te
+++ b/public/init.te
@@ -80,7 +80,7 @@
 
 # Create and mount on directories in /.
 allow init rootfs:dir create_dir_perms;
-allow init { rootfs cache_file cgroup storage_file system_data_file system_file vendor_file postinstall_mnt_dir }:dir mounton;
+allow init { rootfs cache_file cgroup storage_file mnt_user_file system_data_file system_file vendor_file postinstall_mnt_dir }:dir mounton;
 allow init cgroup_bpf:dir { create mounton };
 
 # Mount bpf fs on sys/fs/bpf