1type hal_keymaster_remote, domain;
2hal_server_domain(hal_keymaster_remote, hal_keymaster)
3
4type hal_keymaster_remote_exec, exec_type, vendor_file_type, file_type;
5init_daemon_domain(hal_keymaster_remote)
6
7allow hal_keymaster_remote self:{ socket vsock_socket } create_socket_perms_no_ioctl;
8
9type cuttlefish_vsock_keymaster_port, property_type;
10
11get_prop(hal_keymaster_remote, cuttlefish_vsock_keymaster_port)
12