#pragma once

#include <stddef.h>
#include <stdint.h>
#include <stdarg.h>
#include <stdbool.h>

#include <kassert.h>
#include <serial_driver.h>
//#include <default_vga_driver.h>
#include <kstring.h>

int32_t kprintf_implementation(const char* format, va_list* pargs);
int32_t kprintf(const char *format, ...);
int32_t kputs(const char* str);
