//! Kernel types.