lucicos/libc/stdio/putchar.c

#include <stdio.h>

#if defined(__is_libk)
#include <kernel/screen.h>
#endif

int putchar(int ic) {

#if defined(__is_libk)

	char c = (char) ic;
	screen_write(&c, sizeof(c));

#else

	// TODO: Implement stdio and the write system call.

#endif

	return ic;

}