// ke_debug.c - debugging utilities
#include "hal_api.h"
#include <stdarg.h>
#include <stdint.h>
#include <string.h>
#include "printf.h"
int _fltused; // fuckass

int gDebugEnabled = 0;
void (*PrintChar)(char, uint32_t, uint32_t);

void kernel_putchar(char c) {
    PrintChar(c, 0x00FF00, 0x000000);
}

void DbgPrint(const char* fmt, ...) {
    if (!gDebugEnabled) return;

    va_list va;
    va_start(va, fmt);
    vprintf(fmt, va);
    va_end(va);
}

void KeInitDebug(void (*PrintPtr)(char, uint32_t, uint32_t), int v) {
    gDebugEnabled = v;
    PrintChar = PrintPtr;
    printf_set_putchar(kernel_putchar);
}