#include <stdio.h>
#if defined(__is_libk)
#include <kernel/panic.h>
#else
#include <stdlib.h>
#endif
int putchar(int c)
{
Kernel::panic("Please use kprint() instead of stdio");
abort();
return c;
}