Module Target.Solo5

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