1# The extra_free_kbytes.sh script run by init. 2type extra_free_kbytes, domain; 3type extra_free_kbytes_exec, system_file_type, exec_type, file_type; 4 5# required permissions to run the script from init 6allow extra_free_kbytes shell_exec:file rx_file_perms; 7allow extra_free_kbytes system_file:file x_file_perms; 8allow extra_free_kbytes toolbox_exec:file rx_file_perms; 9 10# files used by the script 11allow extra_free_kbytes proc_extra_free_kbytes:file rw_file_perms; 12allow extra_free_kbytes proc_watermark_scale_factor:file rw_file_perms; 13allow extra_free_kbytes proc_zoneinfo:file r_file_perms; 14