/**
 * @file        kernel/init.h
 * @brief       Kernel initialization entry point
 *
 * @copyright   Copyright (c) 2026 Tom Clay <tomc@tctechstuff.com>
 *              All rights reserved.
 *
 * @license     BSD 3-Clause License
 *              See LICENSE file in the project root for full license text.
 */

#pragma once

namespace rex::system {
class KernelState;
}  // namespace rex::system

namespace rex::kernel {
void InitializeKernel(system::KernelState* kernel_state);
}