Module kernel 

KERNEL_SEG (0x0E) types for the RVF computational container.

Defines the 128-byte KernelHeader and associated enums per ADR-030. The KERNEL_SEG embeds a unikernel image that can self-boot an RVF file as a standalone query-serving microservice.

Structs

KernelHeader

128-byte header for KERNEL_SEG payloads.

Enums

ApiTransport

Transport mechanism for the kernel’s query API.

KernelArch

Target CPU architecture for the kernel image.

KernelType

Kernel type / runtime model.

Constants

KERNEL_FLAG_ATTESTATION_READY

Kernel flags: kernel can generate TEE attestation quotes.

KERNEL_FLAG_COMPRESSED

Kernel flags: kernel image is compressed per the compression field.

KERNEL_FLAG_HAS_ADMIN_API

Kernel flags: kernel exposes health/metrics API.

KERNEL_FLAG_HAS_INGEST_API

Kernel flags: kernel exposes RVF ingest API.

KERNEL_FLAG_HAS_NETWORKING

Kernel flags: kernel includes network stack.

KERNEL_FLAG_HAS_QUERY_API

Kernel flags: kernel exposes RVF query API on api_port.

KERNEL_FLAG_HAS_VIRTIO_BLK

Kernel flags: kernel includes VirtIO block driver.

KERNEL_FLAG_HAS_VIRTIO_NET

Kernel flags: kernel includes VirtIO network driver.

KERNEL_FLAG_HAS_VSOCK

Kernel flags: kernel includes VSOCK for host communication.

KERNEL_FLAG_MEASURED

Kernel flags: kernel measurement stored in WITNESS_SEG.

KERNEL_FLAG_RELOCATABLE

Kernel flags: kernel is position-independent.

KERNEL_FLAG_REQUIRES_KVM

Kernel flags: kernel requires KVM (hardware virtualization).

KERNEL_FLAG_REQUIRES_TEE

Kernel flags: kernel must run inside a TEE enclave.

KERNEL_FLAG_REQUIRES_UEFI

Kernel flags: kernel requires UEFI boot.

KERNEL_FLAG_SIGNED

Kernel flags: kernel image is cryptographically signed.

KERNEL_MAGIC

Magic number for KernelHeader: “RVKN” in big-endian.