package xenstore
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=d63c6bbcb2d3c297767d83c0a0f6dd46cecfd4e691f1cf5c5b6554445ec1b3f4
sha512=5cea990ab16ef708e53605172f708dde6ed15981cca6890939274db6efde1e5b2f9ec5c659d4d2f4115c5e0c3b69bcacc798a0d7fd5c1b75b83ddccd699de189
doc/xenstore.server/Xenstore_server/Perms/index.html
Module Xenstore_server.Perms
Source
A role containing a set of privileges
restrict role domid
returns a new role which contains the subset of role
which applies to domain domid
type permission =
| READ
(*ability to read the value associated with a node
*)| WRITE
(*ability to modify the value associated with a node
*)| CHANGE_ACL
(*ability to change the ACL associated with a node
*)| DEBUG
(*ability to invoke debug operations
*)| INTRODUCE
(*ability to grant access to other domains
*)| ISINTRODUCED
(*ability to query whether a domain has been introduced
*)| RESUME
(*ability to restore access to previously shutdown domains
*)| RELEASE
(*ability to revoke access from other domains
*)| SET_TARGET
(*ability to allow one domain to impersonate a specific other
*)| RESTRICT
(*ability to imperonate a specific other domain
*)| CONFIGURE
(*ability to view/edit the daemon configuration
*)
Thrown by the check
function if role does not have a specific permission
check role permission acl
throws Permission_denied
if role
does not have permission
according to the access control list acl
has role permission
throws Permission_denied
if role
does not have permission