package mirage-qubes

You can search for identifiers within the package.

in-package search v0.2.0

mirage-qubes
- Qubes
  - DB
  - Formats
    
    FRAMING
    
    GUI
    
    Framing
    
    Qrexec
    
    Framing
    
    QubesDB
    
    Framing
  - GUI
  - Msg_chan
    
    Make
    
    F
  - RExec
    
    Flow
  - S
    
    DB
    
    FLOW
    
    MSG_CHAN
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

QubesOS qrexec agent protocol. See: https://www.qubes-os.org/doc/qrexec3/

type t

module Flow : S.FLOW

type handler = user:string -> string -> Flow.t -> int Lwt.t

A handler gets a command-line and a two-way connection to the requesting client each time the remote client sends a MSG_EXEC_CMDLINE request. The "exit code" from the handler is returned to the client.

val connect : domid:int -> unit -> t Lwt.t

connect ~domid () is a qrexec agent to which a client in domid has connected. Internally, it creates a server endpoint and places the endpoint information in XenStore, then waits for a client to connect.

val listen : t -> handler -> unit Lwt.t

listen t handler is a thread that reads incoming requests from t and handles each one asynchronously with handler. The loop ends if the client disconnects.

val disconnect : t -> unit Lwt.t

Close the underlying vchan. This will cause any listening thread to finish.