1type hal_keymint_system, domain, coredomain;
2hal_server_domain(hal_keymint_system, hal_keymint)
3
4type hal_keymint_system_exec, exec_type, system_file_type, file_type;
5init_daemon_domain(hal_keymint_system)
6
7allow hal_keymint_system self:vsock_socket { create_socket_perms_no_ioctl };
8