SpaceOS CLI: build and boot partitioned satellite VMs
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. *)