# Kernel defaults.

# Self-test code is a build-time diagnostic profile and is disabled in the
# normal graphical image.  A dedicated KERNEL_SELFTEST=1 build may replace
# this generated status when producing bring-up media.
KERNEL_SELFTEST=no

# Boot server classes.  Keep this file minimal: service enable/start policy
# lives in /etc/services.conf.

# The kernel exposes the bounded Antler/POSIX syscall and direct service APIs.
# All resident kernel services are managed through this single endpoint.
KERNEL_ABI=antler-posix
KERNEL_ARCH=antler-anx2-ipc-kernel
KERNEL_ADMIN_REPORT=no
KERNEL_ENDPOINT=/bin/sys

# /bin/abi and /bin/contract report the live kernel design contract.
KERNEL_CONTRACT_CHECK=antler-kernel-posix-abi
