commit 0c6fb5b854776390db3d5ad06390855988c5cff3
author Inseob Kim <inseob@google.com> Thu Mar 11 13:04:41 2021 +0900
committer Inseob Kim <inseob@google.com> Thu Mar 11 13:04:41 2021 +0900
tree 2345d6f88b6c61129e1d59eac5eddaf3251e7cfd
parent c07748120d8d27d085cb8366bf01c34bf1fdfa5f

Enable selinux on microdroid

Bug: 181747352
Test: boot microdroid and see adb works
Change-Id: Ibe93d03a74fbc99bf25131cae2b680b28c005f91

microdroid/Android.bp

diff --git a/microdroid/Android.bp b/microdroid/Android.bp
index c654600..6b9692b 100644
--- a/microdroid/Android.bp
+++ b/microdroid/Android.bp
@@ -153,9 +153,7 @@
         "printk.devkmsg=on " +
         "androidboot.first_stage_console=1 " +
         "androidboot.hardware=microdroid " +
-        "androidboot.boot_devices=10000.pci " +
-        // TODO(b/181747352) remove this to enforce selinux
-        "androidboot.selinux=permissive",
+        "androidboot.boot_devices=10000.pci ",
     dtb_prebuilt: "dummy_dtb.img",
     header_version: "4",
     partition_name: "boot",