//! @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