(*---------------------------------------------------------------------------
   Copyright (c) 2025 Thomas Gazagnaire. All rights reserved.
   SPDX-License-Identifier: ISC
  ---------------------------------------------------------------------------*)

(** Kernel image resolution. *)

let default_image = "linuxkit/kernel:6.6.13"
let names = [ "kernel"; "Image"; "vmlinuz"; "bzImage"; "vmlinux" ]

let resolve ~env spec =
  Uniboot.Source.resolve ~env ~names ~platform:"linux/arm64" spec