diff --git a/init/property_service.cpp b/init/property_service.cpp
index a2168bf..95df095 100644
--- a/init/property_service.cpp
+++ b/init/property_service.cpp
@@ -1408,6 +1408,16 @@
     if (isVerifiedBootYellow) {
         InitPropertySet("ro.boot.verifiedbootstate", "green");
     }
+#if ALLOW_PERMISSIVE_SELINUX == 1
+    else {
+        // Use the above as a userdebug/eng check, since we don't
+        // need this on production builds which will always be -user
+        InitPropertySet("ro.boot.flash.locked", "1");
+        InitPropertySet("ro.boot.verifiedbootstate", "green");
+        InitPropertySet("ro.boot.veritymode", "enforcing");
+        InitPropertySet("ro.boot.vbmeta.device_state", "locked");
+    }
+#endif
 }
 
 void PropertyInit() {