/*--------------------------------------------------------------------------
                             S I C S
                         
       A common header file which includes the SICS kernel header files
       in the right order.
       
       Mark Koennecke, October 1997
       
-----------------------------------------------------------------------------*/
#ifndef SICSSICS
#define SICSSICS
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include "Scommon.h"
#include "event.h"
#include "obdes.h"
#include "interrupt.h"
#include "task.h"
#include "conman.h"
#include "interface.h"
#include "devexec.h"
#include "emon.h"
#include "nserver.h"
#include "servlog.h"
   extern pServer pServ;
    
#endif
       