Kernel formatting