#include <stdio.h>
#include <stdlib.h>

__attribute__((__noreturn__)) void abort(void) {

#if defined(__is_libk)
	// TODO: Kernel panic.
	printf(">>PANIC<<<\n abort() panicked!\n");
#else
	printf("abort() called\n");
#endif
	while (1) {
	}
	__builtin_unreachable();
}