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
6let test_default_image () =
7 let img = Space.Kernel.default_image in
8 Alcotest.(check bool) "non-empty" true (String.length img > 0);
9 Alcotest.(check bool)
10 "contains colon (OCI ref)" true (String.contains img ':')
11
12let suite =
13 ("kernel", [ Alcotest.test_case "default image" `Quick test_default_image ])