1# mtectrl is a tool to request MTE (Memory Tagging Extensions) from the bootloader. 2type mtectrl, domain, coredomain; 3type mtectrl_exec, system_file_type, exec_type, file_type; 4 5init_daemon_domain(mtectrl) 6 7# mtectrl communicates the request to the bootloader via the misc partition. 8allow mtectrl misc_block_device:blk_file w_file_perms; 9allow mtectrl block_device:dir r_dir_perms; 10read_fstab(mtectrl) 11