| maxwen | 85c37d6 | 2016-02-26 03:45:57 +0100 | [diff] [blame] | 1 | type mkfs, domain; |
| 2 | type mkfs_exec, exec_type, file_type; | ||||
| 3 | |||||
| Scanno | f112b87 | 2018-03-28 21:44:14 +0200 | [diff] [blame^] | 4 | not_full_treble(` |
| 5 | init_daemon_domain(mkfs); | ||||
| 6 | ') | ||||
| maxwen | 85c37d6 | 2016-02-26 03:45:57 +0100 | [diff] [blame] | 7 | |
| 8 | # Allow formatting userdata or cache partitions | ||||
| 9 | allow mkfs block_device:dir search; | ||||
| 10 | allow mkfs userdata_block_device:blk_file rw_file_perms; | ||||
| 11 | allow mkfs cache_block_device:blk_file rw_file_perms; | ||||