/*
 * 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 <hal/kpcr.h>
#include <drivers/bootvid/fbio.h>
#include <mm/pmm.h>
#include <mm/vmm.h>
#include <stdef.h>

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

/* Globals */
static KPCR BootstrapCore;

/*
 * 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();

    /* Init bootcons */
    BootVidInitCons(NULL);

    /* Initialize physical memory */
    MmInitPmm();

    /* Initialize virtual memory */
    MmInitVmm();

    /* Phase 1 initialization the bootstrap core */
    HalKpcrP1Init(&BootstrapCore);
}