/*
 * Copyright (c) 2026, Chloe M.
 * Provided under the BSD-3 clause.
 *
 * Description:  Where your machine gets turned on~
 * Author:       Chloe M.
 */

#include <ex/trace.h>
#include <ke/stos.h>
#include <hal/serial.h>
#include <stdef.h>

/*
 * Display a boot banner
 */
static VOID
BootBanner(VOID)
{
    TRACE("SystemPaw3 ~ %s\n", ST_VERSION);
    TRACE("Booting SystemPaw3 !! <3\n");
}

VOID
KiKernelEntry(VOID)
{
    /* Initialize the serial driver */
    HalSerialInit();

    /* Write the boot banner */
    BootBanner();
}