/* * Kernel data layout */