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",