Treat input files as public API. am: 7a560eb4 am: c141949f

am: b7cfdd89

Change-Id: Ia82b167085cacc30208f87b0b6b9a5df7bf3150e

public/domain.te

@@ -1156,7 +1156,6 @@ full_treble_only(`
     userdebug_or_eng(`-perfprofd')
     -shell
     -system_executes_vendor_violators
-    -system_server # reads vendor input files
     -ueventd # reads /vendor/ueventd.rc
   } {
     vendor_file_type
@@ -1164,6 +1163,9 @@ full_treble_only(`
     -vendor_app_file
     -vendor_configs_file
     -vendor_framework_file
+    -vendor_idc_file
+    -vendor_keychars_file
+    -vendor_keylayout_file
     -vendor_overlay_file
     -vendor_public_lib_file
     -vndk_sp_file