Formatted kernel.