//! @namespace kapi
//! The Kernel/Platform API
//!
//! This namespace defines the interface between the platform independent kernel and each supported platform.

//! @defgroup kapi-kernel-defined Kernel-defined API

//! @defgroup kapi-platform-defined Platform-defined API

//! @defgroup kapi-boot-modules Boot Modules API

//! @defgroup kapi-boot_modules-kernel-defined Boot Modules API (kernel defined)