SpaceOS CLI: build and boot partitioned satellite VMs
1(*---------------------------------------------------------------------------
2 Copyright (c) 2025 Thomas Gazagnaire. All rights reserved.
3 SPDX-License-Identifier: ISC
4 ---------------------------------------------------------------------------*)
5
6(** Kernel image resolution. *)
7
8let default_image = "linuxkit/kernel:6.6.13"
9let names = [ "kernel"; "Image"; "vmlinuz"; "bzImage"; "vmlinux" ]
10
11let resolve ~env spec =
12 Uniboot.Source.resolve ~env ~names ~platform:"linux/arm64" spec