Source file `qubesdb.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
open Functoria.DSL
open Functoria.Action
open Misc

type qubesdb = QUBES_DB

let qubesdb = typ QUBES_DB
let pkg = package ~min:"1.0.0" ~max:"2.0.0" "mirage-qubes"

let default_qubesdb =
  let packages = [ pkg ] in
  let configure i =
    match get_target i with
    | `Qubes | `Xen -> ok ()
    | _ ->
        error
          "Qubes DB invoked for an unsupported target; qubes and xen are \
           supported"
  in
  let connect _ modname _args =
    code ~pos:__POS__ "%s.connect ~domid:0 ()" modname
  in
  impl ~packages ~configure ~connect "Qubes.DB" qubesdb