supermachine-kernel
====================
Copyright 2026 Supercorp, Inc.
This crate bundles three categories of material under three separate
licenses (see `LICENSE-APACHE`, `LICENSE-GPL-2.0`, `LICENSE-MIT`).
This NOTICE clarifies provenance and satisfies the source-availability
requirements of GPL-2.0 §3(b) and Apache-2.0 §4(d).
1. The Linux kernel image (`kernel.xz`) — GPL-2.0-only
----------------------------------------------------------------------
The included file `kernel.xz` is an xz-compressed Linux kernel `Image`
built for aarch64 with the libkrun AF_TSI socket-family patch series
applied. The Linux kernel is licensed under the GNU General Public
License version 2 (GPL-2.0-only); see `LICENSE-GPL-2.0`.
Source-availability offer (GPL-2.0 §3(b)). Supercorp, Inc. offers,
valid for three years from the date you received this distribution,
to provide the complete corresponding source code for the GPL-2.0-only
material in this crate. The corresponding source consists of:
- the Linux source tree at the version pinned for this build
- the libkrun AF_TSI socket-family patch series applied on top
(originally authored by Sergio Lopez Pascual)
- the build recipe (Makefile, Dockerfile, scripts) used to
produce the `Image` we ship as `kernel.xz`
To request it, email domas@supercorp.ai with the version of this
crate you received; we'll send a download link.
2. The init-oci shim (`init-oci.xz`) — MIT (musl) + Apache-2.0 (our shim)
----------------------------------------------------------------------
The included file `init-oci.xz` is an xz-compressed aarch64-musl static
binary that runs as PID 1 inside each microVM. The binary is composed
of two parts:
- The musl C library, statically linked. musl is MIT-licensed; see
`LICENSE-MIT`. Source: https://musl.libc.org/
- Our `init-oci.c` source, the small init shim that mounts overlayfs,
sets up /proc and /dev, and exec's the OCI image entrypoint. This
code is Apache-2.0; the source is in the `supermachine` crate at
`oci/init-oci.c` (also published in the `.crate`).
3. Our build glue (`build.rs`, `src/lib.rs`) — Apache-2.0
----------------------------------------------------------------------
The Rust code in this crate — `build.rs` (xz decompression hook) and
`src/lib.rs` (constants + extraction helpers) — is licensed under
Apache-2.0; see `LICENSE-APACHE`. Copyright 2026 Supercorp, Inc.
----------------------------------------------------------------------
Aggregating works under different licenses in a single distribution
("mere aggregation" in GPL terminology) is permitted by all three
licenses involved here. Redistributors of this crate must satisfy
each license on its respective component.