package xenstore
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=d63c6bbcb2d3c297767d83c0a0f6dd46cecfd4e691f1cf5c5b6554445ec1b3f4
sha512=5cea990ab16ef708e53605172f708dde6ed15981cca6890939274db6efde1e5b2f9ec5c659d4d2f4115c5e0c3b69bcacc798a0d7fd5c1b75b83ddccd699de189
doc/xenstore.server/Xenstore_server/Perms/index.html
Module Xenstore_server.PermsSource
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