gazagnaire.org / space
SpaceOS CLI: build and boot partitioned satellite VMs
fork atom
space / lib / kernel.ml
at main 12 lines 489 B view raw
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