// SPDX-License-Identifier: GPL-3.0-or-later
// Copyright (c) 2026 0xKSor

#include <OS/Log.h>
#include <Lib/String.h>
#include <Lib/VAArgs.h>
#include <IO/Serial.h>

void OSLog(const ASCII* format, ...) {
    ASCII buffer[kOSLogBufferSize];

    va_list args;
    va_start(args, format);
    StringFormatVariadic(buffer, kOSLogBufferSize, format, args);
    va_end(args);

    SerialPutString(buffer);
}