package xenstore

  1. Overview
  2. Docs
Xenstore protocol in pure OCam

Install 

dune-project
 Dependency

github.com Readme Changelog LGPL-2.1-only WITH OCaml-LGPL-linking-exception License Edit opam file Versions (2)

Authors

  1. V
    Vincent Hanquez
  2. T
    Thomas Gazagnaire
  3. D
    Dave Scott
  4. A
    Anil Madhavapeddy
  5. V
    Vincent Bernardoff

Maintainers

  1. H
    Hannes Mehnert <hannes@mehnert.org>

Sources

xenstore-2.4.0.tbz
sha256=11b63bb2a5a8bc487d36f36ecb195b2a2135aa13ab401cbc73da67505c08faa4
sha512=b921aa4265503677f4984007efee6865461a18031dc49583be040781307cc6cbfcd84bc11e9ebc0a23e9b0cf281bd94528c475624bc30471ad8ff70607e0732f

doc/xenstore.server/Xenstore_server/Perms/index.html

Module Xenstore_server.PermsSource

Sourcetype t

A role containing a set of privileges

Sourceval superuser : t

The superuser role has all privileges

Sourceval of_domain : int -> t

The role associated with a specific domain id

Sourceval restrict : t -> int -> t

restrict role domid returns a new role which contains the subset of role which applies to domain domid

Sourceval set_target : t -> int -> t

set_target role domid needs rationalising

Sourcetype permission =
  1. | READ
    (*

    ability to read the value associated with a node

    *)
  2. | WRITE
    (*

    ability to modify the value associated with a node

    *)
  3. | CHANGE_ACL
    (*

    ability to change the ACL associated with a node

    *)
  4. | DEBUG
    (*

    ability to invoke debug operations

    *)
  5. | INTRODUCE
    (*

    ability to grant access to other domains

    *)
  6. | ISINTRODUCED
    (*

    ability to query whether a domain has been introduced

    *)
  7. | RESUME
    (*

    ability to restore access to previously shutdown domains

    *)
  8. | RELEASE
    (*

    ability to revoke access from other domains

    *)
  9. | SET_TARGET
    (*

    ability to allow one domain to impersonate a specific other

    *)
  10. | RESTRICT
    (*

    ability to imperonate a specific other domain

    *)
  11. | CONFIGURE
    (*

    ability to view/edit the daemon configuration

    *)
Sourceexception Permission_denied

Thrown by the check function if role does not have a specific permission

Sourceval check : t -> permission -> Xs_protocol.ACL.t -> unit

check role permission acl throws Permission_denied if role does not have permission according to the access control list acl

Sourceval has : t -> permission -> unit

has role permission throws Permission_denied if role does not have permission