Rename microdroid_launcher domain to microdroid_app
As the payload is in a shared library, microdroid_launcher domain is
used as-is when running microdroid app. This changes the domain name to
microdroid_app, because microdroid_launcher does nothing but just launch
the microdroid app.
Bug: 189706019
Test: atest MicrodroidHostTestCases
Change-Id: Id30b4a85cc1b9023a93546d33b6071863e9268ee
diff --git a/microdroid/sepolicy/system/private/shell.te b/microdroid/sepolicy/system/private/shell.te
index 7c786c9..03490b0 100644
--- a/microdroid/sepolicy/system/private/shell.te
+++ b/microdroid/sepolicy/system/private/shell.te
@@ -193,7 +193,7 @@
# Allow shell to launch microdroid_launcher in its own domain
# TODO(b/186396070) remove this when microdroid_manager can do this
-domain_auto_trans(shell, microdroid_launcher_exec, microdroid_launcher)
+domain_auto_trans(shell, microdroid_app_exec, microdroid_app)
domain_auto_trans(shell, microdroid_manager_exec, microdroid_manager)
# Never allow others to set or get the perf.drop_caches property.