| Florian Mayer | 2317345 | 2022-01-19 15:19:20 -0800 | [diff] [blame] | 1 | # mtectrl is a tool to request MTE (Memory Tagging Extensions) from the bootloader. |
| Inseob Kim | 3bd63cc | 2022-01-26 08:45:17 +0900 | [diff] [blame] | 2 | type mtectrl, domain, coredomain; |
| Florian Mayer | 2317345 | 2022-01-19 15:19:20 -0800 | [diff] [blame] | 3 | type mtectrl_exec, system_file_type, exec_type, file_type; |
| 4 | |
| 5 | init_daemon_domain(mtectrl) |
| 6 | |
| 7 | # mtectrl communicates the request to the bootloader via the misc partition. |
| 8 | allow mtectrl misc_block_device:blk_file w_file_perms; |
| 9 | allow mtectrl block_device:dir r_dir_perms; |
| 10 | read_fstab(mtectrl) |