| type mkfs, domain; | |
| type mkfs_exec, exec_type, file_type; | |
| not_full_treble(` | |
| 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; |