mirage-qubes

Implementations of various Qubes protocols for MirageOS
Library mirage-qubes
Module Qubes . Formats

for more details, see qubes-gui-common/include/qubes-gui-protocol.h

module type FRAMING = sig ... end
module Qrexec : sig ... end
module GUI : sig ... end

https://www.qubes-os.org/doc/gui/

module QubesDB : sig ... end
module Rpc_filecopy : sig ... end