typeattribute update_verifier coredomain; init_daemon_domain(update_verifier) # Allow update_verifier to reboot the device. set_prop(update_verifier, powerctl_prop) # Allow to set the OTA related properties e.g. ota.warm_reset. set_prop(update_verifier, ota_prop) # allow update_verifier to connect to snapuserd daemon allow update_verifier snapuserd_socket:sock_file write; allow update_verifier snapuserd:unix_stream_socket connectto; # virtual a/b properties get_prop(update_verifier, virtual_ab_prop)