commit 282c73461e076b2e173ca7015d48b135d79ab9fd
author Inseob Kim <inseob@google.com> Wed Mar 10 21:42:33 2021 +0900
committer Inseob Kim <inseob@google.com> Wed Mar 10 21:42:33 2021 +0900
tree 688fa220109d5739a3bf21035ad280067c5ae0ad
parent f7e4e1b88eeb87192d3d0777da6beb6b6e3a8537

Remove unnecessary mount points

Now microdroid has only system and vendor. Mount points for other
partitions are not needed.

Bug: 180267599
Test: boot microdroid
Change-Id: I6d73c9d6c4d5de75d1d031cf7f07c7f0f42351db

microdroid/Android.bp

diff --git a/microdroid/Android.bp b/microdroid/Android.bp
index 488765f..c654600 100644
--- a/microdroid/Android.bp
+++ b/microdroid/Android.bp
@@ -14,14 +14,8 @@
     "proc",
     "sys",
 
-    // TODO(b/180267599): clean up unnecessary partition mount points
     "system",
-    "system_ext",
     "vendor",
-    "vendor_dlkm",
-    "product",
-    "odm",
-    "odm_dlkm",
     "debug_ramdisk",
     "mnt",