#include "std.h"
#include "core/sys.h"
#include "core/monitor.h"

int errno = 0;

void abort() {
	monitor_write("\n\n ABORT - errno: ");
	monitor_writeDec(errno);
	monitor_write("\n");
	PANIC("abort() called, probably a memory manager failure.");
}