#ifndef _KSTD_H
#define _KSTD_H

#include <stdbool.h>

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

__attribute__((__noreturn__))
void kabort(void);

#endif