type hal_confirmationui_cuttlefish, domain;
hal_server_domain(hal_confirmationui_cuttlefish, hal_confirmationui)

type hal_confirmationui_cuttlefish_exec, exec_type, vendor_file_type, file_type;
init_daemon_domain(hal_confirmationui_cuttlefish)

vendor_internal_prop(vendor_vsock_confirmationui_port_prop)
get_prop(hal_confirmationui_cuttlefish, vendor_vsock_confirmationui_port_prop)

allow hal_confirmationui_cuttlefish self:{ vsock_socket } { create getopt read write getattr connect shutdown };

# Write to kernel log (/dev/kmsg)
allow hal_confirmationui_cuttlefish kmsg_device:chr_file w_file_perms;
allow hal_confirmationui_cuttlefish kmsg_device:chr_file getattr;