| type mkfs, coredomain, domain; | |
| type mkfs_exec, system_file_type, exec_type, file_type; | |
| init_daemon_domain(mkfs) | |
| # Allow formatting userdata or cache partitions | |
| allow mkfs block_device:dir search; | |
| allow mkfs userdata_block_device:blk_file rw_file_perms; | |
| allow mkfs cache_block_device:blk_file rw_file_perms; |