Treat input files as public API.

am: 7a560eb4

Change-Id: I7f5f061ef4e91bad9a8585ff669a7b4e2b0e6f2d

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