package mirage

  1. Overview
  2. Docs
The MirageOS library operating system

Install

dune-project
 Dependency

Authors

Maintainers

Sources

mirage-4.10.1.tbz
sha256=1155b5e9a585d3b44dfdd72777d94a7222b0f88a1737593bfb1f09954b6fb914
sha512=c59a0051f1037d7dd5bb81dfc8a265117b533383d0b285e0c2101b44d2ca8bcab40c432ce696a5b44397216e78ac59863f1ab6c5fb33bb338ca18d7ef359500f

doc/mirage.devices/Devices/Target/index.html

Module Devices.TargetSource

Sourcemodule Dune = Functoria.Dune
Sourcemodule Info = Functoria.Info
Sourcemodule Install = Functoria.Install
Sourcemodule Action = Functoria.Action
Sourcemodule type TARGET = sig ... end

A Mirage target: target consists in multiple backends grouped together.

Sourcemodule Unix : sig ... end
Sourcemodule Xen : sig ... end
Sourcemodule Solo5 : sig ... end
Sourcemodule Unikraft : sig ... end
Sourceval choose : Key.mode -> (module TARGET)
Sourceval dune : Info.t -> Dune.stanza list
Sourceval output_message : bool ref
Sourceval configure : Info.t -> unit Functoria__Action.t
Sourceval build_context : ?build_dir:Fpath.t -> Info.t -> Dune.stanza list
Sourceval context_name : Info.t -> string
Sourceval packages : Key.mode -> Functoria.DSL.package list
Sourceval install : Info.t -> Install.t