diff options
| -rw-r--r-- | private/remount.te | 1 | ||||
| -rw-r--r-- | public/domain.te | 1 | ||||
| -rw-r--r-- | public/remount.te | 1 |
3 files changed, 2 insertions, 1 deletions
diff --git a/private/remount.te b/private/remount.te index 5ef7facb5..2964605a0 100644 --- a/private/remount.te +++ b/private/remount.te @@ -1,4 +1,3 @@ -type remount, domain, coredomain; type remount_exec, system_file_type, exec_type, file_type; userdebug_or_eng(` diff --git a/public/domain.te b/public/domain.te index 2a53b4e6d..7aedfaaf2 100644 --- a/public/domain.te +++ b/public/domain.te @@ -618,6 +618,7 @@ neverallow { userdebug_or_eng(`-fsck') userdebug_or_eng(`-init') -recovery + userdebug_or_eng(`-remount') -update_engine } system_block_device:blk_file { write append }; diff --git a/public/remount.te b/public/remount.te new file mode 100644 index 000000000..c4724c950 --- /dev/null +++ b/public/remount.te @@ -0,0 +1 @@ +type remount, domain, coredomain; |