Commits

Anonymous committed d3d2a2a

Rename domain "system" to "system_server".

Now that the "system" domain is just about the system_server, it's
clearer if the domain is called "system_server".

This CL depends on the renaming in external/sepolicy performed in
https://android-review.googlesource.com/#/c/65502/.

Change-Id: I90a6850603dcf60049963462c5572d36de62bc00

Conflicts:
sepolicy/compatibility.te

Comments (0)

Files changed (4)

 	file.te \
 	mediaserver.te \
 	surfaceflinger.te \
-	system.te
+	system_server.te

sepolicy/mediaserver.te

-allow mediaserver system:unix_stream_socket { read write setopt };
+allow mediaserver system_server:unix_stream_socket { read write setopt };

sepolicy/system.te

-allow system mali_device:chr_file rw_file_perms;
-
-# Label the .gps.interface.pipe.to_jni pipe with gps_data_file.
-type_transition system system_data_file:fifo_file gps_data_file ".gps.interface.pipe.to_jni";

sepolicy/system_server.te

+allow system_server mali_device:chr_file rw_file_perms;
+
+# Label the .gps.interface.pipe.to_jni pipe with gps_data_file.
+type_transition system_server system_data_file:fifo_file gps_data_file ".gps.interface.pipe.to_jni";