/*     
 * $RCSfile: utils.c,v $
 *
 * x-kernel v3.3
 *
 * Copyright (c) 1993,1991,1990,1996  Arizona Board of Regents
 *
 * $Log: utils.c,v $
 * Revision 1.1  1997/03/11  20:47:08  dorgival
 * Initial revision
 *
 * Revision 1.1  1997/03/11 20:47:08  dorgival
 * Initial revision
 *
 *
 */

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

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