/* 
 * utils.c
 *
 * x-kernel v3.3
 *
 * Copyright (c) 1993,1991,1990,1996  Arizona Board of Regents
 *
 * $Revision: 1.2 $
 * $Date: 1996/01/31 16:29:53 $
 */

#include "x_stdio.h"
#include "x_libc.h"
#include "x_util.h"
#include "upi.h"

void
Kabort(s)
    char *s;
{
    fprintf(stderr, "xkernel abort: %s\n", s);
    abort();
}