#ifndef RIVOS_KERNEL_H
#define RIVOS_KERNEL_H

typedef struct sbiret {
	long error;
	long value;
} sbiret_s;

void kputchar(char ch);

#endif