Module Target.Solo5Source

Sourceval solo5_manifest_path : Fpath.t
Sourcetype solo5_target = [
  1. | `Virtio
  2. | `Muen
  3. | `Hvt
  4. | `Genode
  5. | `Spt
]
Sourcetype xen_target = [
  1. | `Xen
  2. | `Qubes
]
Sourceval cast : [> t ] -> [> `Genode | `Hvt | `Muen | `Qubes | `Spt | `Virtio | `Xen ]
Sourceval build_packages : Functoria.package list
Sourceval runtime_packages : [< `Genode | `Hvt | `Muen | `Qubes | `Spt | `Virtio | `Xen ] -> Functoria.package list
Sourceval packages : [< `Genode | `Hvt | `Muen | `Qubes | `Spt | `Virtio | `Xen ] -> Functoria.package list
Sourceval context_name : 'a -> string
Sourceval build_context : ?build_dir:'a -> 'b -> Dune.stanza list
Sourceval generate_manifest_json : bool -> unit -> unit Functoria__Action.t
Sourceval configure : Info.t -> unit Functoria__Action.t
Sourceval ext : [> `Genode | `Hvt | `Muen | `Qubes | `Spt | `Virtio | `Xen ] -> string
Sourceval out : Info.t -> string
Sourceval rename : Info.t -> Dune.stanza
Sourceval manifest : 'a -> Dune.stanza
Sourceval solo5_abi : [< `Genode | `Hvt | `MacOSX | `Muen | `Qubes | `Spt | `Unix | `Virtio | `Xen ] -> string
Sourceval flags : string list
Sourceval subdir : string -> Dune.stanza list -> Dune.stanza
Sourceval dune : Info.t -> Dune.stanza list
Sourceval install : Info.t -> Install.t