| 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. |
| 2 | type mtectrl_exec, system_file_type, exec_type, file_type; | ||||
| 3 | |||||
| 4 | init_daemon_domain(mtectrl) | ||||
| 5 | |||||
| 6 | # mtectrl communicates the request to the bootloader via the misc partition. | ||||
| 7 | allow mtectrl misc_block_device:blk_file w_file_perms; | ||||
| 8 | allow mtectrl block_device:dir r_dir_perms; | ||||
| 9 | read_fstab(mtectrl) | ||||