lib/kernel.mli at main · gazagnaire.org/space

SpaceOS CLI: build and boot partitioned satellite VMs

space / lib / kernel.mli

at main 16 lines 391 B view raw

wrap content

 1(** Kernel image resolution. *)
 2
 3val default_image : string
 4(** Default kernel OCI reference. *)
 5
 6val resolve :
 7  env:
 8    < clock : _ Eio.Time.clock
 9    ; domain_mgr : Eio.Domain_manager.ty Eio.Resource.t
10    ; fs : Eio.Fs.dir_ty Eio.Path.t
11    ; net : _ Eio.Net.t
12    ; .. > ->
13  string ->
14  string
15(** [resolve ~env spec] resolves a kernel image: local file path or OCI
16    reference. *)