15 lines
326 B
C
Executable file
15 lines
326 B
C
Executable file
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
|
|
__attribute__((__noreturn__))
|
|
void abort(void) {
|
|
#if defined(__is_libk)
|
|
/* TODO: Add proper kernel panic */
|
|
printf("kernel: panic: abort()\n");
|
|
#else
|
|
/* TODO: Abnormally terminate process like by SIGABRT */
|
|
printf("abort()\n");
|
|
#endif
|
|
while(1) {}
|
|
__builtin_unreachable();
|
|
}
|