Merge "Allow microdroid_manager to do stdio_to_kmsg"

This commit is contained in:
Treehugger Robot 2022-11-14 13:48:17 +00:00 committed by Gerrit Code Review
commit 069b9502b1

View file

@ -111,6 +111,9 @@ allow microdroid_manager serial_device:chr_file w_file_perms;
# Allow microdroid_manager to handle extra_apks
allow microdroid_manager extra_apk_file:dir create_dir_perms;
# Allow microdroid_manager to write kmsg_debug (stdio_to_kmsg).
allow microdroid_manager kmsg_debug_device:chr_file w_file_perms;
# Domains other than microdroid can't write extra_apks
neverallow { domain -microdroid_manager -init -vendor_init } extra_apk_file:file no_w_file_perms;
neverallow { domain -microdroid_manager -init -vendor_init } extra_apk_file:dir no_w_dir_perms;