/*
 * 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 <ke/bpal.h>
#include <hal/serial.h>
#include <drivers/bootvid/fbio.h>
#include <stdef.h>

#define DTRACE(Fmt, ...) \
    TRACE("[ INIT ]: " Fmt, ##__VA_ARGS__)

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

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

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

    /* Initialize BPAL */
    KeBpalInit();

    /* Initialize boot video */
    BootVidInit();
}