diff --git a/public/domain.te b/public/domain.te
index eb66b30f5815638d811f3c87eb79c413ee3a2424..fc9c0a95ab5b765681315b717a2094bcf75b7f05 100644
--- a/public/domain.te
+++ b/public/domain.te
@@ -1284,11 +1284,12 @@ full_treble_only(`
     coredomain
     -appdomain
     -bootanim
-    -init
-    -ueventd
     -crash_dump
+    -init
+    -kernel
     -perfprofd
-  } vendor_file:file { create_file_perms x_file_perms };
+    -ueventd
+  } vendor_file:file { no_w_file_perms no_x_file_perms open };
 ')
 
 # Minimize dac_override and dac_read_search.