#ifndef INIT_STAGE1_KPRINT_H
#define INIT_STAGE1_KPRINT_H 1

void kputc(char c);
void kputs(const char *s);

#endif