#ifndef _KSTD_H
#define _KSTD_H

#include <stdbool.h>

int putchar(int ic);
int kprintf(const char* restrict format, ...);
void kputs(const char* data);
void kabort();

#endif