/*     
 * $RCSfile: config.h,v $
 *
 * x-kernel v3.3
 *
 * Copyright (c) 1993,1991,1990,1996  Arizona Board of Regents
 *
 * $Revision: 1.1 $
 * $Date: 1996/11/22 20:07:19 $
 */

/* 
 * Configuration-tunable parameters
 */

/*
 * Duration of one event clock tick, in usec
 */
#define EVENT_INTERVAL 50000 /* 50 msec */