2022-11-12 21:04:47 +02:00
|
|
|
#include <stdio.h>
|
|
|
|
|
|
|
|
#if defined(__is_libk)
|
2023-01-09 14:56:20 +02:00
|
|
|
#include <kernel/Panic.h>
|
2022-11-14 00:27:11 +02:00
|
|
|
#else
|
2022-12-10 00:30:00 +02:00
|
|
|
#include <stdlib.h>
|
2022-11-12 21:04:47 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
int putchar(int c)
|
|
|
|
{
|
|
|
|
#if defined(__is_libk)
|
2023-01-09 14:56:20 +02:00
|
|
|
Kernel::Panic("Please use kprint() instead of stdio");
|
2022-11-12 21:04:47 +02:00
|
|
|
#else
|
2022-11-14 00:27:11 +02:00
|
|
|
abort();
|
2022-11-12 21:04:47 +02:00
|
|
|
#endif
|
|
|
|
return c;
|
|
|
|
}
|