1 # Label the .gps.interface.pipe.to_jni pipe with gps_data_file. 2 type_transition system_server system_data_file:fifo_file gps_data_file ".gps.interface.pipe.to_jni"; 3 allow system_server gps_data_file:fifo_file create_file_perms; 4 allow system_server gps_data_file:dir rw_dir_perms; 5
