mirage-qubes

Implementations of various Qubes protocols for MirageOS
Library mirage-qubes
Module Qubes
module DB : sig ... end

A QubesDB client

module Formats : sig ... end

The Qubes wire protocol details.

module GUI : sig ... end

The Qubes GUI agent

module Msg_chan : sig ... end

A message-based protocol on top of VChan streams.

module RExec : sig ... end

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

module S : sig ... end