sepolicy/kernel.te

# used by sdcardfs to read package list
allow kernel system_data_file:file open;
allow kernel media_rw_data_file:file rw_file_perms;